Lemme de Higman

En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble ${\displaystyle X}$ muni d'un bel ordre, l'ensemble ${\displaystyle X^{*}}$ des mots finis sur ${\displaystyle X}$ 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[1].