Propiedades de los nmeros naturales

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