In de ordetheorie, een deelgebied van de wiskunde, is een welpreorde of welquasiorde een preorde die de volgende eigenschappen heeft: er bestaan geen oneindige, strikt aflopende rijen ; en er bestaan geen oneindige deelverzamelingen waarvan de elementen paarsgewijs helemaal niet door de orde vergeleken worden. Wikipedia