Welcome guest You're not logged in. 291 users online, thereof 0 logged in

Definition: Equivalence Relation

Let \(V\) be a set and let \(R\subseteq V\times V\) be a relation. \(R\) is called an equivalence relation, if it is reflexive, symmetric and transitive. Elements of $V$ with $aRb$ are called equivalent. Other common notations are \(a\sim_R b\) or \(a\sim b\), if $R$ is known from the context.