Welordening: verschil tussen versies

42 bytes verwijderd ,  4 jaar geleden
geen bewerkingssamenvatting
k (Patrick heeft pagina Welgeordendheid hernoemd naar Welordening: als voorgesteld op OP)
Geen bewerkingssamenvatting
 
In de [[ordetheorie]], een deelgebied van de [[wiskunde]], is een '''welgeordende relatiewelordening''' of '''welgeordendheidwelorde''' 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 welgeordendheidwelordening is dus [[Welgefundeerde relatie|welgefundeerd]]. Samen met de verzameling <math>S</math> wordt de welgeordende relatie een '''welgeordende verzameling''' of '''welordening''' genoemd.
 
Elke welgeordende verzameling is [[orde-isomorf]] met precies één [[ordinaal]], het ''ordetype'' van de welgeordende verzameling.
81.063

bewerkingen