Welordening: verschil tussen versies

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