頂点と、向きをもつ辺からなるgraph

定義

組\mathcal{I}=(I,(J(i,i'))_{i,i'\in I} )のこと

集合I

I\times Iにより添字付けられた集合族(J(i,i'))_{i,i'\in I}

Iの元を頂点と呼び

J(i,i')の元のことを、iからi'へ向かう辺と呼ぶ