Für eine Äquivalenzrelation auf einer Menge fasst man zu äquivalente Elemente zu einer Äquivalenzklasse , alternativ notiert durch , zusammen:

Einfach gesagt

Wenn man eine Äquivalenzrelation auf eine Menge anwendet, dann zerfällt diese Menge in disjunkte Teilmengen von Elementen, die alle in Relation zueinander stehen, die aber nicht in Relation zu Elementen von anderen Teilmengen stehen. Diese Teilmengen heißen Äquivalenzklasse.

Beispiel

Relation (Gleichheit):

  • ,
  • ,
  • Allgemein:

Relation (Gleiche Quadrate):

  • ,
  • ,
  • Allgemein: