Equivalence relations and equivalence classes