En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes.
Ce lemme est dû à Graham Higman, qui l'a publié en 1952..
Référence
Lien externe
Catégorie:Théorie des ordres Higman