Preorde: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 28:
:<math>x \lesssim y</math> dan en slechts dan als <math>x<y</math> of <math>x\sim y</math>.
Dit verklaart de notatie <math>\lesssim</math>. Een preorde op <math>X</math> wordt dus gekarakteriseerd door een [[partitie (verzamelingenleer)|partitie]] van <math>X</math> waarvan de klassen partieel geordend zijn. Als de klassen totaal geordend zijn is de preorde een [[totale preorde]]. Als de klassen [[Singleton (wiskunde)|singleton]]s zijn (elk precies één element
Van iedere homogene tweeplaatsige relatie <math>R</math> is de reflexief-transitieve afsluiting <math>R^*</math> een preorde.
|