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

{}\operatorname {Nachf} {\left(\operatorname {Nachf} {\left(T\right)}\right)}\subseteq \operatorname {Nachf} {\left(T\right)}\,

gilt.