Gerichtete Menge/Vorgängermenge/Definition

Vorgängermenge

Es sei ein gerichteter Graph. Zu einer Teilmenge nennt man

die Vorgängermenge zu .