Äquivalenzrelation

Eine Äquivalenzrelation ist eine binäre Relation, die reflexiv, symmetrisch und transitiv ist.
Beispiele: Gleichheit ($=$), "hat die gleiche Farbe wie", logische Äquivalenz ($\equiv$).