Gerichteter Graph/Transitiv/Nachfolgermenge/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass ein gerichteter Graph genau dann transitiv ist, wenn für die Nachfolgermengen zu jeder Teilmenge die Beziehung

gilt.