for G being non empty addMagma
for A, B being Subset of G st ( for a, b being Element of G st a in A & b in B holds
a + b = b + a ) holds
A + B = B + A