In de ordetheorie, een deelgebied van de wiskunde, is een welgeordende relatie of welgeordendheid op een verzameling S {\displaystyle S} een totale orde op S {\displaystyle S} met de eigenschap dat elke niet-lege deelverzameling van S {\displaystyle S} een kleinste element in deze ordening heeft. Wikipedia