User blog comment:Scorcher007/About Cofinality, sipmly/@comment-34422464-20190722143442

Cofinality of ordinal x basically is the length of the shortest non-successor ordinal sequence approaching x informally.