根から全頂点に到達可能な有向グラフ
本プロジェクトには「全てのページは索引ページからリンクを辿ることで到達可能」という制約がある． ただし，「各ページは他のどのページへもリンクしてもよい」という自由もある．
関連
広い定義：ある頂点が「根」として他の頂点から区別された有向グラフ
狭い定義：広い定義に加えて「全頂点が根から到達可能であること」も定義に含まれる場合がある
広い定義：根（開始点）から全頂点に到達可能なグラフ
狭い定義：「単一の出口（終着点）」や「計算機内における処理の流れという用途の制約」が定義に含まれる場合もある
制御フローグラフ（CFG：control flow graph）
制御フローグラフ（せいぎょフローグラフ、英: Control Flow Graph, CFG）は、プログラムを実行したときに通る可能性のある全経路をグラフで表したものである。この場合、ノードは基本ブロック（すなわち、分岐を全く含まない逐次的コード列であって、途中に分岐先もない）を表し、ノードとノードをつなぐ有向エッジは、あるブロックから別ブロックへのジャンプを意味する。一般に、グラフ全体の入口となる入口ブロックと、出口となる出口ブロックがある。
閉路を持たない無向連結グラフ
out-arborescence：根があり，根から他の任意の頂点へ向かう有向単純路が一つあるもの
in-arborescence：根があり，他の任意の頂点から根へ向かう有向単純路が一つあるもの
同じ頂点が2度以上現れない経路
すべて異なる頂点から形成され，途中で同じ地点に立ち寄ることのない経路