グラフ理論

公理的なグラフの定義から得られる結果をまとめるのです。