Definition: Äquivalenzrelation

Eine Relation heißt Äquivalenzrelation, wenn sie

  • reflexiv
  • symmetrisch und
  • transitiv ist.

Anmerkung

Bevorzugte Symbole

Bevorzugte Symbole für Äquivalenzrelationen sind z.B.