Grænseordinal

En ordinal kaldes grænse, hvis der ikke er nogen ordinal sådan, at . $\alfa$ $\beta$ $\alpha =\beta +1$

Lad være en grænse ordinær . Confinality er et tal lig med det mindste , for hvilket der er en funktion fra til og . En kardinal kaldes regulær hvis , ental hvis . $\alfa$ $\alfa$ ${\mbox{cf}}\,(\alpha )$ $\beta$ $f$ $\beta$ $\alfa$ $\sup f(\xi)=\alpha$ $\aleph _{\alpha }$ ${\mbox{cf}}\,(\omega _{\alpha })=\omega _{\alpha }$ ${\mbox{cf}}\,(\omega _{\alpha })<\omega _{\alpha }$