changes for equivalence relation continued with Groups