El conjunto de los números naturales se define como
. También se le conoce como el conjunto de los enteros positivos:
. El conjunto de los naturales mas el número cero:
dotado de la operación binaria de la adición se representa como el par ordenado
y poseé las siguientes propiedades:
- Asociatividad:
se tiene que
.
- Conmutatividad:
resulta que
(el orden de los sumandos no altera la suma).
- Existencia del elemento neutro o identidad (bajo la adición):
.