 It follows that equality is the finest equivalence relation on any set "S" in the sense that it is the relation that has the smallest equivalence classes (every class is reduced to a single element).In some contexts, equality is sharply distinguished from "equivalence" or "isomorphism.