Clausura: Si a € Zabez→ (a+b) e Z
Conmutativa: Sia ez bez→ (a+b) = (b+a)
Asociativa: Si a, b^ceZ(a+b)+ c = a+ (b+c) Elemento Sia e Z→ a+ 0 = a
Neutro
Inverso Aditivo Si a € Z → 3(-a) = Z/a+ (-a) = 0 ​