properties of equivalence classes