Wohlordnungsprinzip

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Aussage, dass jede Menge mit einer Wohlordnung versehen werden kann, das heißt, es gibt eine binäre Relation, die eine totale Ordnung ist und auf der jede nichtleere Teilmenge ein kleinstes Element besitzt.

Wohlordnungsprinzip

- Mathematics & Logic -
Pure Mathematics Dictionary
Die Aussage, dass jede Menge mit einer Wohlordnung versehen werden kann — einer Totalordnung, in der jede nichtleere Teilmenge ein kleinstes Element besitzt. In der Mengenlehre ist dies (über ZF) äquivalent zum Auswahlaxiom.