トポロジカル順

有限の有向グラフ $G = (V, E)$、$|V| = n$ のトポロジカル順とは、全単射 $\sigma : V \to \{1, \ldots, n\}$ であって、すべての辺 $(u, v) \in E$ について $\sigma(u) < \sigma(v)$ を満たすものをいう。