Preorde: verschil tussen versies

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 zede klassen totaal geordend zijn is hetde preorde een totale preorde. Als de klassen elk precies één element bevatten dan is hetde preorde een partiële orde. Als beide geldt is hetde preorde een totale orde.