Gerichtete Menge/Vorgängermenge/Definition

Vorgängermenge

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

${}\operatorname {Vorg} {\left(T\right)}={\left\{x\in M\mid {\text{ es gibt }}y\in T{\text{ mit }}xRy\right\}}\,$

die Vorgängermenge zu ${}T$.