Preorde: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 34:
In een preorde zijn er de volgende mogelijkheden voor de relatie tussen twee elementen <math>a</math> en <math>b</math>:
:<math>a \lesssim b</math> en <math>b \not \lesssim a</math>: <math>a</math> is kleiner dan <math>b</math>
:<math>a \lesssim b</math> en <math>b \lesssim a</math>: <math>a</math> en <math>b</math> zijn equivalent (als de preorde een partiële orde is, is dit alleen het geval als <math>a=b</math>)
:<math>a \not \lesssim b</math> en <math>b \lesssim a</math>: <math>b</math> is kleiner dan <math>a</math>
:<math>a \not \lesssim b</math> en <math>b \not \lesssim a</math>: <math>a</math> en <math>b</math> zijn niet vergelijkbaar (niet mogelijk als de preorde een totale preorde is)
==Gerichte graaf==
| |||