théorème d'extension de Szpilrajn

En mathématiques, le théorème d'extension de Szpilrajn, démontré par Edward Szpilrajn, établit que tout ordre partiel est contenu dans un ordre total.Intuitivement, le théorème dit qu'une comparaison entre éléments qui laisse quelques couples incomparables peut être étendue de telle manière que chaque élément est soit inférieur, soit supérieur à un autre. C'est l'un des nombreux exemples de l'utilisation de l'axiome du choix (sous la forme du lemme de Zorn) pour trouver un ensemble maximal avec certaines propriétés.