Eine Relation, die reflexiv, symmetrisch und transitiv ist, heißt Äquivalenzrelation.

Äquivalenzrelationen notiert man oft durch

Beispiel

Folgende Relationen sind Äquivalenzrelationen:

  • Auf die Relation
  • Auf die Relation
  • Auf die binäre Relation “wenn und die selbe Parität haben” (wenn beide ungerade oder gerade sind)