Exercice 11, § 2

Étiquette 03UL, permanente. À citer comme [Bourbaki, Tag 03UL].

Théorie des ensembles, III, p. 76

Bourbaki marks this one as harder than the rest, it is set in small type as supplementary.

Soient I un ensemble bien ordonné, $(E_t)_{t \in I}$ une famille d’ensembles ordonnés dont chacun contient au moins deux éléments distincts comparables. Pour que le produit lexicographique des $E_t$ soit bien ordonné, il faut et il suffit que chacun des $E_t$ soit bien ordonné et que I soit fini (si I est infini, définir dans le produit lexicographique des $E_t$ une suite infinie strictement décroissante).*

Solution

Aucune solution n’a encore été écrite.

Cité par

Exercise 14, § 2

Cite

Rien.