[MPSI] Relation d'ordre

[Doraki]

si E est infini alors pour tout n il admet un n-ième plus petit élément xn (en appliquant la propriété à E-{x1...x(n-1)}, qui est non vide puisque E est infni).
En appelant X= {x1,x2...xn...}, X est non vide mais n'a pas de plus grand élément. En effet pour tout élément xn de X, x(n+1) est dans X et xn < x(n+1).

[Blueberry]

Si on suppose E non fini, on peut définir une suite strictement croissante (u_n) puis considérer l'ensemble

[Judoboy]

Bah oui jsuis con...