for G being addGroup
for A, B being Subset of G st A,B are_conjugated holds
B,A are_conjugated