Preorde: verschil tussen versies

Een preorde kan voorgesteld worden als een [[Grafentheorie#Gerichte grafen|gerichte graaf]] waarin een gericht pad van <math>A</math> naar <math>B</math> bestaat als <math>A \lesssim B</math>. Omgekeerd kan op elke gerichte graaf zonder cykels een preorde gedefinieerd worden door de relatie <math>A \lesssim B</math> tussen de knopen <math>A</math> en <math>B</math>, als er een gericht pad van <math>A</math> naar <math>B</math> is.