. . . . . . . . . . "Dobry porz\u0105dek"@pl . . . . . "Ensemble bien ordonn\u00E9"@fr . . . . . . . . . . . . . . . . . "En math\u00E9matiques, un ensemble ordonn\u00E9 (E, \u2264) est bien ordonn\u00E9 et la relation \u2264 est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E poss\u00E8de un plus petit \u00E9l\u00E9ment. Si (E, \u2264) est bien ordonn\u00E9 alors \u2264 est n\u00E9cessairement un ordre total, c'est-\u00E0-dire que deux \u00E9l\u00E9ments quelconques x et y de E sont toujours comparables. En effet, l'ensemble { x, y } poss\u00E8de un plus petit \u00E9l\u00E9ment, donc on a x \u2264 y ou y \u2264 x."@fr . . . . "15367"^^ . . . . . . . . . . "156093"^^ . . . . "185988503"^^ . . . "\u0426\u0456\u043B\u043A\u043E\u043C \u0432\u043F\u043E\u0440\u044F\u0434\u043A\u043E\u0432\u0430\u043D\u0430 \u043C\u043D\u043E\u0436\u0438\u043D\u0430"@uk . . . . "En math\u00E9matiques, un ensemble ordonn\u00E9 (E, \u2264) est bien ordonn\u00E9 et la relation \u2264 est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E poss\u00E8de un plus petit \u00E9l\u00E9ment. Si (E, \u2264) est bien ordonn\u00E9 alors \u2264 est n\u00E9cessairement un ordre total, c'est-\u00E0-dire que deux \u00E9l\u00E9ments quelconques x et y de E sont toujours comparables. En effet, l'ensemble { x, y } poss\u00E8de un plus petit \u00E9l\u00E9ment, donc on a x \u2264 y ou y \u2264 x. Si de plus l'axiome du choix d\u00E9pendant est v\u00E9rifi\u00E9, cette propri\u00E9t\u00E9 (\u00EAtre bien ordonn\u00E9) est \u00E9quivalente, pour un ordre pr\u00E9suppos\u00E9 total, \u00E0 la condition de cha\u00EEne descendante \u00AB il n'existe pas de suite infinie strictement d\u00E9croissante \u00BB. D'apr\u00E8s le th\u00E9or\u00E8me de Zermelo, l'axiome du choix dans toute sa force \u00E9quivaut au fait que tout ensemble peut \u00EAtre bien ordonn\u00E9."@fr . . . . . . . . . . . . . . . . . . . . . . . . . "Th\u1EE9 t\u1EF1 t\u1ED1t"@vi . . . . . . . . . . . . . . "Well-order"@en . . . . . . .