title: Welordening
text: In de ordetheorie, een deelgebied van de wiskunde, is een welordening of welorde op een verzameling  een totale orde op  met de eigenschap dat elke niet-lege deelverzameling van  een kleinste element in deze ordening heeft. Een welordening is dus welgefundeerd. Samen met de verzameling  wordt de welgeordende relatie een welgeordende verzameling genoemd.
  
  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 dit 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.
  
  Ordetheorie
  Relaties op verzamelingen