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): .