Kreise (Zyklen) in Graphen

• Der Weg heißt Zyklus (gerichteter Kreis),
  falls n > 0 und v₀ = v_n
• Graph ohne Zyklen heißt azyklisch (DAG).
• E^* (Erreichbarkeit) ist dann eine Halbordnung.
• benutze DAGs zur Modellierung von Vorrängen („x ist wichtiger als y``)

  die Halbordnung heißt deswegen auch Präzedenz

Ü: welche Eigenschaft von Halbordnungen gilt nicht für E⁺, wenn G Zyklen enthält?