User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-11227630-20190704063145/@comment-11227630-20190705035744

It seems that card is unnecessary in the definition. You only compare card(x) with some cof things, but card(x) < cof(a) is just x < cof(a).