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.

Eine Lösung erstellen