Gerichteter Graph/Reflexiv/Nachfolgermenge/Aufgabe

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

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

gilt.