La función sucesor es bien definida en el segundo axioma del Peano.^[Axiomas del Peano]
Von Newman:
Partimos del conjunto vacíoy definimos:
Por lo que si desarrollamos la función sucesor tenemos…
.
De esta forma,
En general, para todo, se tiene que:
Dicho esto, podemos definir el orden para.