Теорема Робертсона - Сеймура

[gogoshik]

Помогите, плиз, понять, что утверждает теорема Робертсона - Сеймура.
В ней говорится об отношении минорности и вполне квазиупорядочном множестве. Что это такое?
Заранее благодарен.