for G being addGroup
for A, B being Subset of G holds
( con_class A = con_class B iff con_class A meets con_class B )