La inclusión permite convertir a los ordinales en un conjunto bien ordenado (dos elementos distintos siempre se pueden comparar, y añadiendo la igualdad daría un orden total) entre estos conjuntos que se prefiere, por costumbre, escribir "<", lo que da las relaciones 0 < 1 < 2 < 3.