Bajo esta convención, se puede demostrar que todo conjunto "finito" bien ordenado es ordenadamente isomorfo a exactamente un número natural.