Equivalence relation
In mathematics, an equivalence relation  on a set is a mathematical relation that is symmetric, transitive and reflexive. For a given element  on that set, the set of all elements related to  (in the sense of ) is called the equivalence class of , and written as .