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