Robertson-Seymour theorem

Proper noun

(graph theory) A theorem stating that the undirected graphs, partially ordered by the graph-minor relationship, form a well-quasi-ordering.

Japanese Meaning

グラフ理論において、任意の無向グラフ全体が、グラフ・マイナーという関係により部分順序付けされると、その順序が良準順序（well-quasi-ordering）を形成することを示す定理

組合せ的グラフ理論では、無向グラフがグラフマイナーの関係で部分順序づけられたときに良い準順序を成すという定理が、グラフマイナーに関する多くの結果や固定パラメータアルゴリズムの基盤を成している。

Sense（1）

(graph theory) A theorem stating that the undirected graphs, partially ordered by the graph-minor relationship, form a well-quasi-ordering.

the Robertson-Seymour theorem

（ canonical ）