縮退数・彩色数（coloring number）
の空でないどの部分グラフ も次数 以下の頂点をもつとき、 は -縮退であるという。（ は空でない部分グラフを動く）を の縮退数、それに 1 を足した数を と書く。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
の空でないどの部分グラフ も次数 以下の頂点をもつとき、 は -縮退であるという。（ は空でない部分グラフを動く）を の縮退数、それに 1 を足した数を と書く。
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
証明で明示的に参照している定理は、まだありません。