for G being Group holds (<*> the carrier of G) |^ (<*> INT) = {}