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