Eine Äquivalenzrelation ist eine Relation, die reflexiv, symmetrisch und transitiv ist.
Sie formalisiert "gleich bezüglich einer Eigenschaft" und zerlegt die Menge in Äquivalenzklassen.