Los nmeros naturales estn totalmente ordenados. La relacin de orden se
puede redefinir as: a b si y solo si existe otro nmero natural c que cumple a + c = b. Este orden es compatible con todas las operaciones aritmticas puesto que si a, b y c son nmeros naturales y a b, entonces se cumple: a+cb+c acbc Una propiedad importante del conjunto de los nmeros naturales es que es un conjunto bien ordenado 1. Para cualquier elemento a de A existe b en A tal que a < b En los nmeros naturales existe el algoritmo de la divisin. Dados dos nmeros naturales a y b, si b 0, podemos encontrar otros dos nmeros naturales q y r, denominados cociente y resto respectivamente, tales que: a = (b q) + r y r < b Los nmeros q y r estn unvocamente determinados por a y b. Otras propiedades ms complejas de los nmeros naturales, como la distribucin de los nmeros primos por ejemplo, son estudiadas por la teora de nmeros. Relacin de orden La relacin sucesor le da una estructura de orden.9 Conceptos globales y de estructura Algebraicamente, el conjunto = {0, 1, 2, ... n, ...} es un semigrupo aditivo asociativo con elemento neutro 0 y semigrupo multiplicativo asociativo con elemento neutro 1.10 Topolgicamente, tiene la topologa cofinita.11 El cardinal de es menor que el cardinal de .12