Group: equivalence (1)