for G being non empty multMagma
for A, B being Subset of G st G is commutative Group holds
A * B = B * A