Kategorie:Äquivalenzrelation

Eine binäre Relation R auf einer Menge A heißt Äquivalenzrelation, wenn folgende drei Eigenschaften erfüllt sind:

Reflexivität: ${\displaystyle \mathrm{\forall }a\in A:aRa}$,

Symmetrie: ${\displaystyle \mathrm{\forall }a,b\in A:aRb\Rightarrow bRa}$,

Transitivität: ${\displaystyle \mathrm{\forall }a,b,c\in A:(aRb\wedge bRc)\Rightarrow aRc}$.