In de ordetheorie, een onderdeel van de wiskunde, is een preorde of quasi-orde, een relatie tussen de elementen van een verzameling die veel lijkt op een orderelatie, maar waarin elementen kunnen voorkomen die niet met elkaar vergeleken kunnen worden en elementen die van elkaar verschillen en in beide richtingen met elkaar te vergelijken zijn, wat wil zeggen dat ze op dezelfde plaats in de ordening staan. Wikipedia