Una simple pero útil propiedad adicional conduce al, así llamado, buen orden, dentro del que todo subconjunto no vacío tiene un menor elemento (también denominado primer elemento).