for G being non empty addMagma
for A, B being Subset of G st G is Abelian addGroup holds
A + B = B + A