(A,+) es un monoide conmutativo con 0 como elemento neutro; es decir: