for G being non empty well-unital multLoopStr holds id the carrier of G is Homomorphism of G,G