El conjunto de los naturales mas el número cero: formula_428 dotado de la operación binaria de la adición se representa como el par ordenado formula_429 y poseé las siguientes propiedades: