eine Sortierung der Knoten eines gerichteten Graphen G = (V, E).

Hierbei bezeichne V die Menge der Knoten und E ⊆ V × V die Menge der Kanten von G. Die der Sortierung zugrundeliegende Halbordnung (V, ≤) ist durch \begin{eqnarray}v\le w\iff (v,w)\in E\end{eqnarray} gegeben.