theorem Th8: :: TOPGRP_1:9

for G being Group
for A, B being Subset of G holds
( A c= B iff A " c= B " )