durch transfinite Rekursion über die Ordinalzahl β definierte Operation: Man fixiert die Ordinalzahl α und definiert α + 0 := α, α + N(β) := (α + β) + 1 für Nachfolgeordinalzahlen N(β), wobei für jede Ordinalzahl γ die auf γ folgende Ordinalzahl mit N(γ) bezeichnet wird. Schließlich sei α + β := sup{α + γ : γ< β} für Limesordinalzahlen β.