Por supuesto, para apreciar que el conjunto de los números naturales es bien ordenado, es necesario definir aquella relación que le da el orden.