cuál es la propiedad de los números naturales
Los números naturales están totalmente ordenados. La relación de orden ≤ se puede redefinir así: "a" ≤ "b" si y solo si existe otro número natural "c" que cumple "a" + "c" = "b". Este orden es compatible con todas las operaciones aritméticas puesto que si "a", "b" y "c" son números naturales y "a" ≤ "b", entonces se cumple: