Folien

2.87 Beispiel
Gleichheit ist Äquivalenzrelation (auf jeder beliebigen Menge), denn
◮ es ist immer x = x,
◮ wenn x = y ist, dann auch y = x, und
◮ wenn x = y ist und y = z, dann ist auch x = z.
In diesem Fall besteht jede Äquivalenzklasse aus nur einem
Element: [x] = {x}.
Zustandsminimierung endlicher Automaten 114/124