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

Es sei ein gerichteter Graph. Wie kann man graphentheoretisch charakterisieren, dass die Abbildung

ein topologischer Hüllenoperator ist?