Die Einbettungs-Relation (III)

Die Endlichkeit von Antiketten bezüglich Einbettung gilt für

• Listen
• Bäume (Satz von Kruskal, 1960)
• Graphen (Satz von Robertson/Seymour)

  (Beweis über insgesamt 500 Seiten über 20 Jahre, bis ca. 2000)

  vgl. Kapitel 12 in: Reinhard Diestel: Graph Theory, http://www.math.uni-hamburg.de/home/diestel/books/graph.theory/