for G being non empty addMagma
for A, B, C being Subset of G st G is add-associative holds
(A + B) + C = A + (B + C)