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$.