グラフ・マイナー定理

3行要約

1. グラフのマイナー関係による順序において、無限の反鎖が存在しないという定理。
2. 任意のグラフの無限集合には、一方が他方のマイナーとなるペアが必ず含まれる。
3. ロバートソンとシーモアによる膨大な証明により、グラフ理論の最高峰の一つとされる。