theorem Th52: :: GROUP_3:52

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