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 "=", die aangeeft welke van de elementen met elkaar vergeleken kunnen worden als volgend op elkaar. In een partiële orde worden niet noodzakelijk alle elementen met elkaar vergeleken, maar kunnen er paren elementen zijn waarvan niet uitgemaakt is welke van de twee in de orde voorafgaat aan de ander. In een extreem geval is zelfs geen enkel tweetal vergelijkbaar. Een partiële orde is een generalisatie van het begrip
totale orde, waarin van elk tweetal elementen vaststaat welke van de twee de opvolger is van het andere.