平面グラフ

定義 5.4（「オイラーとラマヌジャン」§5）

グラフを平面上に、辺が端点以外で交わらないように描けるとき、そのグラフを平面的であるといい、描かれた図を平面グラフといいます。平面グラフが平面を分ける領域を面といい、外側の無限に広がる領域も 1 つの面として数えます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。