Exercice 5, § 2

Soient E un ensemble ordonné, $\mathfrak{S}$ l’ensemble des parties libres de E, ordonné par la relation définie dans III, p. 70, exerc. 5. Montrer que, si E est inductif, $\mathfrak{S}$ admet un plus grand élément.