for G being Group
for A being Subset of G holds A in con_class A ;