Bien ordonné définition

bien ordonné

[adjectif] Se dit d’un ensemble ordonné dont toute partie non vide possède un minimum.
Trouvé sur https://fr.wiktionary.org/wiki/bien_ordonné

---