In de ordetheorie, een deelgebied van de wiskunde, is een partiële orde of partiële ordening op een verzameling een relatie op die verzameling, meestal genoteerd als " ≤ {\displaystyle \leq } ", die aangeeft welke van de elementen met elkaar vergeleken kunnen worden als volgend op elkaar. Wikipedia