another definition of cofinality
Let be a limit ordinal![]()
(e.g. a cardinal). The cofinality of could also be defined as:
( is calculated using the natural order of the ordinals![]()
).The cofinality of a cardinal is always a regular cardinal and hence .
This definition is equivalent![]()
to the parent definition.