Esto es así porque el conjunto de los números naturales con el orden usual es un conjunto totalmente ordenado.