Equivalence relation on a set S