Eine Äquivalenzrelation ist eine homogene, binäre Relation auf einer Grundmenge, die folgende Eigenschaften besitzt:
Zweistellige Relation welche reflexiv, symmetrisch und transitiv ist.
Das ist eine zweistellige Relation, die reflexiv, symmetrisch und transitiv ist.