theorem Th10: :: TOPGRP_1:11

for G being Group
for A being Subset of G holds (inverse_op G) " A = A "