例えば、2つの辺 → 、 → を持つdagは、3つの辺 → 、 → 、 → を持つdagと同じ到達可能性関係を持ち、どちらも頂点が ≤ ≤ の順に並んだ半順序集合を持つ。