Unter einer
Äquivalenzrelation versteht man in der Mathematik eine
Relation, die
reflexiv,
symmetrisch und
transitiv ist. Äquivalenzrelationen sind für die
Logik und die Mathematik von großer Bedeutung.
- Eine Äquivalenzrelation teilt eine Menge restlos in disjunkte (elementfremde) Untermengen, Äquivalenzklassen genannt.
- Die Klassenbildung mit Hilfe des Äquivalenzbegriffes ermöglicht eine mathematische Begriffsbildung.