Gerichteter Graph/Reflexiv/Nachfolgermenge/Aufgabe

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

gilt.