In der Mathematik ist Higmans Lemma ein Ergebnis der Ordnungstheorie , die behauptet, dass für eine Menge, die mit einer schönen Ordnung ausgestattet ist , die Menge der endlichen Wörter, die mit der Unterwortreihenfolge ausgestattet sind, auch eine gute Ordnung ist. Dies ist ein Sonderfall des Kruskal-Theorems über Bäume , der sich wiederum auf das Robertson-Seymour-Theorem über Graphen verallgemeinert .
Dieses Lemma geht auf Graham Higman zurück , der es 1952 veröffentlichte.
Bastien Legloannec, „ Beaux Orders and Graphs ( Masterbericht ) “ , zu ENS Lyon ,2009
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">