Preorde: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Definitie: voor een partiële orde heeft '<' een vaste betekenis |
→Speciale preordes: is transitief |
||
Regel 49:
Totale preordes verhouden zich tot (strikte) totale ordes zoals preordes zich tot (strikte) partiële ordes verhouden.
De term “strikte preorde” kan worden gedefinieerd op basis van de definitie <math>x<y</math> als <math>x \lesssim y</math> en <math>x \not \sim y</math>. Dit is een irreflexieve homogene tweeplaatsige relatie die transitief
:voor alle <math>x,y\in X</math> geldt: als <math>x\neq y</math> dan <math>xRy</math> of <math>yRx</math> (vgl. ''totaliteit'')
namelijk een trichotomie, wat een strikte totale orde
==Voorbeelden==
| |||