Ordning

En ordnet mængde vil i matematik sige en mængde med en relation ${\displaystyle \leq }$, som angiver hvilket af to elementer der er størst. For at relationen ${\displaystyle \leq }$ skal kaldes en ordning skal den have følgende egenskaber:

Refleksivitet ${\displaystyle x\leq x}$.

Transitivitet ${\displaystyle x\leq y}$ og ${\displaystyle y\leq z}$ medfører ${\displaystyle x\leq z}$.

Antisymmetri ${\displaystyle x\leq y}$ og ${\displaystyle y\leq x}$ medfører ${\displaystyle x=y}$.

En relation, som er refleksiv og transitiv men ikke antisymmetrisk, kaldes en præordning.