Ordning

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

Refleksivitet $x\leq x$.

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

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

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

Eksempler på ordnede mængder

De reelle tal udgør en ordnet mængde.

De naturlige tal udgør en ordning når vi med $a\leq b$ mener at $a$ går op i $b$.

I relativitetsteori vil begivenheder (punkter i rumtiden) være en ordnet mængde, hvis vi med $a\leq b$ mener at der kan sendes et lyssignal fra $a$ til $b$.

Delmængderne af en mængde er ordnet hvis vi med $A\leq B$ mener $A\subseteq B$.

I udsagnslogik er $A\leq B$ mener $B\Rightarrow A$.

Underrummene af et vektorrum er ordnet hvis vi med $A\leq B$ mener $A\subseteq B$.

Vigtige typer af ordninger

En mængde siges at være totalt ordnet dersom to vilkårlige elementer er sammenlignelige så $a\leq b$ eller $b\leq a$. En ordnet mængde, som ikke er totalt ordnet, siges at være partielt (eller delvis) ordnet.

En ordnet mængde siges at være begrænset dersom den har et største og et mindste element. Det største element kaldes toppen af mængden og betegnes $\top$ mens det mindste element kaldes bunden af mængden og betegnes $\bot$.

En ordnet mængde kaldes et gitter dersom der for ethvert par af elementer findes et mindste element som dominerer parret og et største element som parret dominerer.

En mængde siges at være velordnet dersom enhver delmængde har et mindste element.