definiert durch transfinite Rekursion über die Ordinalzahl β: Man fixiert die Ordinalzahl α und definiert Ord(α⁰) := 1, Ord(α^β+ ¹) := Ord(α^β) · α für Nachfolgeordinalzahlen β + 1 sowie \begin{eqnarray}\text{Ord}({\alpha }^{\beta }):=\sup \{\text{Ord}({\alpha }^{\gamma }):\gamma \lt \beta \}\end{eqnarray} für Limesordinalzahlen β (Kardinalzahlen und Ordinalzahlen).