for G being non empty addGroup-like addMagma
for A being Subset of G holds
( (0_ G) + A = A & A + (0_ G) = A )