Folien

2.86 Definition (2)
◮ Schreibweise: häufig Infixnotation mit Symbol wie
z. B. ≡ (oder ≈, . . . ).
Statt (x, y) ∈ R schreibt man also x ≡ y.
◮ Äquivalenzrelation teilt Menge M in Äquivalenzklassen ein.
◮ Äquivalenzklasse von x ∈ M ist [x] = {y | y ≡ x}.
◮ Wenn x ≡ y ist, dann ist [x] = [y] und umgekehrt.
◮ Für die Menge aller Äquivalenzklassen schreibt man auch M/≡.
Zustandsminimierung endlicher Automaten 113/124