for G1 being non empty commutative multMagma holds <*G1*> is commutative multMagma-Family of {1}