グラフの定義

\( 2 \) つの集合 \(V\) と \(E\) の組 \( (V, E) \) を考える. このとき, \( E \) の要素が全て \( V \) の要素\( 2 \)つからなる集合であるならば, この組 \( (V, E) \) は グラフ であると言う.

集合の組 \( G = (V, E) \) がグラフであるとき, 最初の集合 \( V \) の要素を \( G \) の頂点, 

次の集合 \( E \) の要素を \( G \) の辺と呼ぶ.