Definition:Equivalence Relation

Definition
Let $\mathcal R$ be a relation on a set $S$.

Also known as
An equivalence relation is frequently referred to just as an equivalence.

Also see

 * Equivalence of Definitions of Equivalence Relation


 * Definition:Equivalence Class
 * Definition:Quotient Set
 * Definition:Quotient Mapping, also known as the Definition:Canonical Surjection


 * Relation Partitions Set iff Equivalence