Äquivalenzrelation

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.