Gerichteter Graph/Symmetrisch/Vorgängermenge/Aufgabe

Aus Wikiversity

Zeige, dass ein gerichteter Graph genau dann symmetrisch ist, wenn für jede Teilmenge die Beziehung

gilt.