Welordening: verschil tussen versies

 

Omgekeerd, als een verzameling via een [[bijectie]] gekoppeld is aan een ordinaal, dan induceert dit een welordening van de verzameling. In de [[verzamelingenleer]] zegt de [[welordeningsstelling]] (die gelijkwaardig is aan het [[keuzeaxioma]]) dat elke verzameling welgeordend kan zijn, dus dat er voor elke verzameling een ordinaal met zo'n bijectie is.

 

{{DEFAULTSORT:Welgeordendheid}}