A relation on A is an equivalence relation if it is reflexive, symmetric and transitive. An example of such is equality on a set. One might think of equivalence as a way to glob together elements ...