Dado un número ordinal (teoría de conjuntos) α, el conjunto de todos los números ordinales β < α es un conjunto bien ordenado.