有限有向圖有限loop-free simple digraph由有限vertices與不含loop、無平行同向重邊的ordered-pair edge set組成。atlas-finite-directed-graph · canonical_mko有限有向圖前置節點二元關係與集合投影集合集合基數比較