Äquivalenzrelation

Äquivalenzrelation, eine zweistellige (binäre) Relation R in einer Menge X, die reflexiv, symmetrisch und transitiv ist, also folgende Eigenschaften besitzt: Für beliebige Elemente x, y, z aus X gilt