Gränsordinal

En ordinal kallas limit om det inte finns någon ordinal sådan att . $\alfa$ $\beta$ $\alpha =\beta +1$

Låt vara en limit ordinarie . Confinality är ett tal lika med det minsta för vilket det finns en funktion från till och . En kardinal kallas reguljär om , singular om . $\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 }$