Théorème du Bon Ordre
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Énoncé selon lequel tout ensemble peut être muni d'un ordre bien fondé : il existe une relation binaire sur l'ensemble qui est un ordre total et telle que tout sous-ensemble non vide possède un plus petit élément.
Théorème du Bon Ordre
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Assertion selon laquelle tout ensemble peut être muni d'un bon ordre — un ordre total dans lequel tout sous-ensemble non vide possède un élément minimal. En théorie des ensembles, cela est équivalent à l'Axiome du Choix (dans ZF).