equivalence relations 2201793