a) (N,+) es un semigrupo (abeliano) conmutativo:

i. Clausura: para todo elemento a, b = N, se tiene que la suma (a + b) E N. Ejemplo: 1 E N, 3 E N, entonces (1+3)=4 E N

ii. Asociatividad: para todo elemento a, b, c E N se tiene que (a + b)+c=a+(b+c) Ejemplo: (1+3)+4=1+ (3+4)

iii. Conmutatividad: para todo elemento a, b = N, se tiene que la suma a + b = b+a Ejemplo: 3+4=4+3​