Usuario:Misifu17/Taller

El conjunto de los números naturales se define como $\mathbb {N} =\{1,2,3,4,5,\ldots \}$. También se le conoce como el conjunto de los enteros positivos: $\mathbb {N} \equiv \mathbb {Z} ^{+}$. El conjunto de los naturales mas el número cero: $\mathbb {N} _{0}\equiv \mathbb {N} \cup \{0\}=\{0,1,2,3,4,5,\ldots ,\}$ dotado de la operación binaria de la adición se representa como el par ordenado $(\mathbb {N} _{0},+)$ y poseé las siguientes propiedades:

1. Asociatividad: $\forall m,n,p\in \mathbb {N} _{0}$ se tiene que $(m+n)+p=m+(n+p)$.
2. Conmutatividad: $\forall m,n\in \mathbb {N} _{0}$ resulta que $m+n=n+m$ (el orden de los sumandos no altera la suma).
3. Existencia del elemento neutro o identidad (bajo la adición): $\forall m\in \mathbb {N} _{0}\ \exists \ 0\in \mathbb {N} _{0}:m+0=0+m=m$.