Total ordning

En total ordning på en mængde M er en ordning, hvor det for vilkårlige x og y i M gælder enten at ${\displaystyle x\leq y}$ eller også at ${\displaystyle y\leq x}$ (eller begge dele). Man kan sige, at der er en totalitet i ordningen.