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.