多重辺を許す条件のより一般的な意味で、有向グラフは以下によって構成される順序三つ組formula_25として定義される。