有向グラフ
辺に向きのあるグラフ
$ D
は、有向グラフあるいはダイグラフ(digraph)と呼ばれる
頂点集合
$ V(D)
弧（有効辺, arc）
$ A(D)
有向グラフにおける
握手補題