theorem ThB8: :: GROUP_1A:343

for G being addGroup
for A, B being Subset of G holds
( A c= B iff - A c= - B )