Gerichtete Menge/Nachfolgermenge/Definition

Nachfolgermenge

Es sei ein gerichteter Graph. Zu einer Teilmenge nennt man

die Nachfolgermenge zu .