Gerichtete Menge/Nachfolgermenge/Definition

Nachfolgermenge

Es sei ${}(M,R)$ ein gerichteter Graph. Zu einer Teilmenge ${}T\subseteq M$ nennt man

${}\operatorname {Nachf} {\left(T\right)}={\left\{z\in M\mid {\text{ es gibt }}y\in T{\text{ mit }}yRz\right\}}\,$

die Nachfolgermenge zu ${}T$.