Ordinale successore
Da Wikipedia, l'enciclopedia libera.
Un'operazione fondamentale che è possibile effettuare sui numeri ordinali è l'operazione di successione S per ottenere il numero ordinale immediatamente più grande. Utilizzando i numeri ordinali di Von Neumann (gli ordinali standard nella teoria degli insiemi) il successore è definito come:
È facile dimostrare che S(α) è ancora un ordinale, che con la relazione d'ordine data da α < β se e solo se 
si ha α < S(α) e inoltre non ci sono numeri ordinali compresi tra α e S(α). Un ordinale per cui vale S(β) per qualche ordinale β viene chiamato ordinale successore. Gli ordinali che non sono successori vengono detti ordinali limite. Possiamo usare l'operazione di successione per definire l'addizione tra ordinali in maniera rigorosa attraverso la ricorsione transfinita come segue:
- α + 0 = α
- α + S(β) = S(α + β)
e per un ordinale limite λ
In particolare, S(α) = α + 1. La moltiplicazione e l'elevamento a potenza sono definite in modo simile. Si veda anche ordinale limite.
