Welordening: verschil tussen versies

1 byte verwijderd ,  4 jaar geleden
geen bewerkingssamenvatting
Geen bewerkingssamenvatting
Geen bewerkingssamenvatting
Elke welgeordende verzameling is [[orde-isomorf]] met precies één [[ordinaal]], het ''ordetype'' van de welgeordende verzameling.
 
Omgekeerd, als een verzameling via een [[bijectie]] gekoppeld is aan een ordinaal, dan induceert dezedit 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.
 
==Zie ook==
81.063

bewerkingen