Preorde: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
→‎Speciale preordes: is transitief
Regel 49:
Totale preordes verhouden zich tot (strikte) totale ordes zoals preordes zich tot (strikte) partiële ordes verhouden.
 
De termstrikte “strikteversie preorde”van een preorde kan worden gedefinieerd op basis van de definitieals <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 is. Irreflexiviteit en transitiviteit impliceren samen asymmetrie, wat een strikte partiële orde oplevert. Hetzelfde geldt voor de termstrikte “strikteversie van een totale preorde”preorde. Irreflexiviteit en transitiviteit van een relatie <math>R</math> impliceren samen met de voorwaarde
: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 oplevert. Verschillende preordes kunnen zo dezelfde strikte totale orde opleveren.
 
Bij een totale preorde levert (de inverse van) het complement van een preorde een [[strikte zwakke orde]] op.