Es sei (M,R){\displaystyle {}(M,R)} ein gerichteter Graph. Zu einer Teilmenge T⊆M{\displaystyle {}T\subseteq M} nennt man
die Nachfolgermenge zu T{\displaystyle {}T}.