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.

Eine Lösung erstellen