Gerichteter Graph/Transitiv/Nachfolgermenge/Aufgabe

Zeige, dass ein gerichteter Graph $(M,R)$ genau dann transitiv ist, wenn für die Nachfolgermengen zu jeder Teilmenge  $T\subseteq M$  die Beziehung

$\mathrm{Nachf}(\mathrm{Nachf}\left(T\right))\subseteq \mathrm{Nachf}\left(T\right)$

gilt.

Eine Lösung erstellen