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.
| | | | | created: 2014-04-02 23:32:50 | modified: 2019-07-28 19:15:15 | by: bookofproofs | references: 
 Schmidt Gunther, Ströhlein Thomas: “Relationen und Graphen”, Springer-Verlag, 1989