Group: equivalence (9)