Welordening: verschil tussen versies

In de [[ordetheorie]], een deelgebied van de [[wiskunde]], is een '''welgeordende relatie''' of '''welgeordendheid''' op een [[Verzameling (wiskunde)|verzameling]] <math>S</math> een [[totale orde]] op <math>S</math> met de eigenschap dat elke niet-lege [[deelverzameling]] van <math>S</math> een [[grootste en kleinste element|kleinste element]] in deze ordening heeft. Een welgeordendheid is dus [[Welgefundeerde relatie|welgefundeerd]]. Samen met de verzameling <math>S</math> wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd.

 

In de [[verzamelingenleer]] zegt de [[welordeningsstelling]] dat elke verzameling welgeordend kan zijn.