Welordening: verschil tussen versies

44 bytes verwijderd ,  6 jaar geleden
geen bewerkingssamenvatting
kGeen bewerkingssamenvatting
Geen bewerkingssamenvatting
In de [[ordetheorie]], een deelgebied van de [[wiskunde]], is een '''welgeordende relatie''' relatie (of '''welgeordendheid''') op een [[verzamelingVerzameling (wiskunde)|verzameling]] ''S'' een strikteordening [[totalevan ordening]]de opelementen van ''S'' met een [[totale orde]] en met de eigenschap dat elke [[lege verzameling|niet-lege]] [[deelverzameling]] van ''S'' een [[grootste en kleinste element|kleinste element]] in deze ordening heeft. Een welgeordendheid is dus [[ordeWelgefundeerde (wiskunde)relatie|ordewelgefundeerd]]ning heeft. Samen met de verzameling ''S'' wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd.
 
In de [[verzamelingenleer]] zegt de [[welordeningsstelling]] dat elke verzameling welgeordend kan zijn.
Op gelijkwaardige wijze is een welgeordendheid een [[welgefundeerde relatie|welgefundeerde]] strikte [[totale ordening]]. Samen met de verzameling ''S'' wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd.
 
== Zie ook ==
*[[Welordeningsstelling]]
*[[Ordinaalgetal]]
 
{{DEFAULTSORT:Welgeordendheid}}