for G being Group
for A being Subset of G holds A |^ (1_ G) = A