Achsen als Relationen (III)

was ist following (R) ? (großes R, wegen r $\subseteq$ R)

Definition: alle Knoten, die nach dem End-Tag des Kontextknotens beginnen

R = (C^-)^*oroC^*

das ergibt vollständige Fallunterscheidung: für beliebige Knoten (Positionen) x, y gilt genau eines von:

x = y,(x, y) $\in$ C⁺,(x, y) $\in$ (C^-)⁺,(x, y) $\in$ R,(x, y) $\in$ R^-