(intern) knoten-disjunkt

Definition. Sei $G$ ein Graph und seien $P_{1}, P_{2}$ zwei Pfade in $G$ .

$P_{1}, P_{2}$ sind Knoten-disjunkt, oder kurz disjunkt, wenn es keinen Knoten $v \in V (G)$ gibt, der sowohl in $P_{1}$ als auch in $P_{2}$ vorkommt.
$P_{1}, P_{2}$ sind intern Knoten-disjunkt, wenn es keinen Knoten gibt, der sowohl in $P_{1}$ als auch in $P_{2}$ vorkommt und kein Endpunkt von $P_{1}$ oder kein Endpunkt von $P_{2}$ ist.

D.h. intern Knoten-disjunkte Pfade dürfen gemeinsame Endpunkte haben, aber kein innerer Knoten des einen Pfades darf auf dem anderen liegen.