x+0 =x= 0+x
Conmutativa de la adición
Asociativa de la adición
Uniforme
x+y = y+x
Modulativa de la adición
si a=b, entonces a+c=b+c
(x+y)+z = x+(y+z)