Gerichteter Graph/Nachfolgerrelation/Hüllenoperator/Topologie/Aufgabe

Es sei ${}(M,R)$ ein gerichteter Graph. Wie kann man graphentheoretisch charakterisieren, dass die Abbildung

${\mathfrak {P}}\,(M)\longrightarrow {\mathfrak {P}}\,(M),\,T\longmapsto \operatorname {Nachf} {\left(T\right)},$

ein topologischer Hüllenoperator ist?

Eine Lösung erstellen