Eine binäre Relation auf einer Menge, die reflexiv, symmetrisch und transitiv ist; sie zerlegt die Menge in disjunkte Äquivalenzklassen, deren Elemente für die Relation ununterscheidbar sind.

Prinzip

Ein Ununterscheidbarkeitskriterium festlegen durch Erzwingen von Reflexivität (jedes Element steht zu sich selbst in Relation), Symmetrie (gegenseitige Relation) und Transitivität (Relation wird weitergeführt), sodass Klassen eine Partition bilden.

Demonstration

Auf den ganzen Zahlen Z sei a ~ b genau dann, wenn a − b durch n teilbar ist; diese Kongruenz modulo n ist reflexiv, symmetrisch und transitiv, und Z zerfällt in n Äquivalenzklassen bezeichnet durch die Reste 0,...,n−1.

Fehlanwendung

Eine Relation als Äquivalenz bezeichnen, obwohl eine der drei Eigenschaften fehlt (z. B. Symmetrie annehmen, obwohl nur Antisymmetrie besteht) führt zu ungültigen Quotientenkonstruktionen und fehlerhaften Klassifikationen.

Konsequenz

Erzeugt eine Quotientenmenge von Äquivalenzklassen; die kanonische Projektion sendet Elemente auf ihre Klasse und viele Konstruktionen (Quotientengruppen, Faktorräume) beruhen auf dieser Partition.

Umkehrung

Das Gegenstück ist eine partielle Ordnung oder ein Präordnung: Lässt man die Symmetrie weg oder ersetzt sie durch Antisymmetrie, entstehen ordnungsähnliche Strukturen statt einer Aufteilung in symmetrische Klassen.

Abgrenzung

Voraussetzung ist eine einzelne Grundmenge und die drei Eigenschaften; Relationen zwischen verschiedenen Mengen, einseitige Präordnungen, Ähnlichkeitsmaße ohne Transitivität oder probabilistische Ähnlichkeiten liegen außerhalb dieses Rahmens.

Semantische Spannung

Spannung besteht zwischen Äquivalenz (kategoriale Ununterscheidbarkeit) und Ähnlichkeits- bzw. Distanzbegriffen: Elemente können »nah« sein, ohne die strengen Anforderungen an Transitivität und Symmetrie zu erfüllen.

Synthese

Eine Äquivalenzrelation ist das formale Mittel, eine Menge durch Reflexivität, Symmetrie und Transitivität in disjunkte Klassen ununterscheidbarer Elemente zu zerlegen und so kanonische Quotienten und reduzierte Beschreibungen zu ermöglichen.