Gerichtete Menge/Vorgängermenge/Definition/Begriff/Inhalt

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