# Ordnungsrelation

Ordnungsrelationen sind in der Mathematik Verallgemeinerungen der „kleiner-gleich“-Beziehung. Sie erlauben es, Elemente einer Menge miteinander zu vergleichen.
Eine Ordnungsrelation ist formal eine zweistellige Relation
    $R\subseteq M\times M$
auf einer Menge $M$ mit bestimmten unten aufgeführten Eigenschaften, worunter immer die Transitivität ist.
Ist eine Menge $M$ mit einer Ordnungsrelation $R$ gegeben, dann nennt man das Paar $(M,R)$ eine geordnete Menge. Meist bevorzugt man an Stelle der Schreibweise $(a,b)\in R$ die sogenannte Infix-Notation $a\,R\,b$. Außerdem wird für Ordnungsrelationen nur selten ein Symbol wie $R$ verwendet. Stattdessen verwendet man häufig Symbole wie $\leq$, $\preceq$ oder ähnliche. Die Schreibweisen $a<b$ oder $a\prec b$ verwendet man als Abkürzung für „$a\leq b$ und $a\neq b$“ oder „$a\preceq b$ und $a\neq b$“.
Es folgt eine Auflistung verschiedener Arten von Ordnungsrelationen mit Beispielen. Für Definitionen der Eigenschaften siehe transitiv, reflexiv und irreflexiv, asymmetrisch, antisymmetrisch, oder den Artikel Relation (Mathematik).

## Totalordnung

Eine Relation $\leq$ auf einer Menge $M$ wird (schwache) Totalordnung oder totale Ordnung oder einfach (schwache) Ordnung genannt, wenn die Forderungen
| $x\leq x$ | (Reflexivität) |
| $x\leq y\land y\leq x\;\Rightarrow \;x=y$ | (Antisymmetrie) |
| $x\leq y\land y\leq z\;\Rightarrow \;x\leq z$ | (Transitivität) |
| $x\leq y\lor y\leq x$ | (Totalität) |
für alle $x,y,z\in M$ erfüllt sind. Da dies bei der Zahlengeraden, der „Linie“, der Fall ist, wird eine Totalordnung auch lineare Ordnung genannt. Ferner gibt es für totalgeordnete Untermengen von partiell geordneten Mengen die Bezeichnung Kette.
Die durch
    $x\preceq y:\Longleftrightarrow y\leq x$
definierte Umkehrrelation $\preceq$ einer Totalordnung $\leq$ ist selbst eine Totalordnung. Bei Umkehrrelationen wird gerne das gespiegelte Symbol als Relationszeichen genommen, in diesem Fall $\geq$ statt $\preceq$, also
    $x\geq y:\Longleftrightarrow y\leq x$.
Im Fall der totalen (Quasi-)Ordnungen hat dies eine besondere Berechtigung, weil bei ihnen die inverse Relation eine Spiegelung ist.
Eine endliche Untermenge einer totalgeordneten Menge lässt sich gemäß dieser Ordnung in eindeutiger Weise sortieren, das heißt in eine („lineare“) Reihenfolge bringen derart, dass jedes Element mit seinem Folgeelement in der Ordnungsbeziehung steht. Solchermaßen geordnet nennt man die Sortierung aufsteigend. Gilt stattdessen zwischen zwei Nachbarelementen die gespiegelte Ordnungsrelation, nennt man die Sortierung absteigend. Der schwächere Begriff der totalen Quasiordnung (siehe unten) erlaubt das Vorhandensein von „Duplikaten“, also eine nicht eindeutige Sortierung.
Beispiel und Gegenbeispiel:
Ein Beispiel ist die Relation $\leq$ („kleiner-gleich“) auf den ganzen Zahlen $\mathbb {Z}$ oder die lexikographische Ordnung über Tupeln.
Ein Gegenbeispiel ist die Teilmengenbeziehung $\subseteq$ auf der Potenzmenge von $\mathbb {Z}$: sie ist nicht total, denn es gilt weder $\{1,2\}\subseteq \{2,3\}$ noch $\{2,3\}\subseteq \{1,2\}$.

## Strenge Totalordnung

Eine Relation $<$ auf $M$ heißt strenge (oder auch starke) Totalordnung, wenn
| $x<y\;\land \;y<z\;\;\Rightarrow \;\;x<z$ | (Transitivität) |
| entweder $x<y$ oder $x=y$ oder $y<x$ | (Trichotomie) |
für alle $x,y,z\in M$ gilt.
Da eine strenge Totalordnung nicht reflexiv ist, ist sie keine Totalordnung. Eine Totalordnung im oben erklärten schwachen Sinn ist aber die zu $<$ gehörige Ordnung (mit Reflexivität und Antisymmetrie), die durch
    $x\leq y\;\;:\Leftrightarrow \;\;x<y{\text{ oder }}x=y$
definiert ist. Umgekehrt wird aus jeder (schwachen) Totalordnung $\leq$ auf $M$ per
    $x<y\;\;:\Leftrightarrow \;\;x\leq y{\text{ und }}x\neq y$
eine strenge Totalordnung $<$ .

## Vergleichbarkeit

Gilt für zwei Elemente $x\in M$ und $y\in M$, dass wenigstens eine der drei Beziehungen (und da sie sich gegenseitig ausschließen: genau eine)
* $x<y$ oder $x=y$ oder $y<x$
erfüllt ist, dann nennt man $x$ und $y$ in $M$ unter der Ordnungsrelation $<,=,>$ vergleichbar. Eine Ordnungsrelation, bei der jedes Element mit jedem vergleichbar ist, nennt man eine totale Ordnungsrelation.

## Quasiordnung

Eine Quasiordnung ist eine transitive und reflexive Relation.
Beispiel:
Für komplexe Zahlen $a,b\in \mathbb {C}$ ist die über den Absolutbetrag durch „$a\leq b,{\text{ falls }}|a|\leq |b|$“ festgelegte Relation eine Quasiordnung.
Diese Quasiordnung ist nicht antisymmetrisch – also keine Halbordnung, denn betragsgleiche Zahlen müssen nicht identisch sein.
Jedoch handelt es sich um eine totale Quasiordnung, da je zwei Elemente vergleichbar sind.

## Halbordnung

Eine Halbordnung – auch Partialordnung, Teilordnung oder partielle Ordnung genannt – zeichnet sich gegenüber einer totalen Ordnung dadurch aus, dass die Totalität dahingehend abgeschwächt wird, dass jedes Element mindestens zu sich selbst in Relation steht (Reflexivität). Es ist also eine reflexive, antisymmetrische und transitive Relation, bei der also
| $x\leq x$ | (Reflexivität) |
| $x\leq y\land y\leq x\;\Longrightarrow \;x=y$ | (Antisymmetrie) |
| $x\leq y\land y\leq z\;\Longrightarrow \;x\leq z$ | (Transitivität) |
für alle $x,y,z\in M$ erfüllt sind. Eine Menge $M$, auf der eine Halbordnung $\leq$ definiert ist, wird halbgeordnete Menge genannt. Die Umkehrrelation einer Halbordnung
* $y\preceq x\;:\Longleftrightarrow \;x\leq y$
ist wiederum eine Halbordnung.
Halbordnungen können in Hasse-Diagrammen visualisiert werden. Eine Teilmenge einer halbgeordneten Menge heißt Oberhalbmenge, wenn sie zu jedem ihrer Elemente auch alle nachfolgenden Elemente (also alle, die rechts vom Relationssymbol stehen könnten) enthält.
Mit Hilfe des Auswahlaxioms kann man beweisen, dass jede Halbordnung in eine Totalordnung eingebettet werden kann. Für endliche Mengen muss man das Auswahlaxiom nicht voraussetzen, und in diesem Fall gibt es zur Konstruktion einer solchen Totalordnung auch explizite Algorithmen (siehe Topologische Sortierung).
Beispiele:
Die Teilmengenbeziehung $\subseteq$ auf einem Mengensystem ${\mathfrak {M}}$ ist eine Halbordnung, denn sie ist
* transitiv, da jede Teilmenge einer Teilmenge von $C$ auch Teilmenge von $C$ ist:
    $A\subseteq B\subseteq C\ \Longrightarrow \ A\subseteq C\;\;$ für alle $A,B,C\in {\mathfrak {M}};$
* reflexiv, da jede Menge eine Teilmenge ihrer selbst ist:
    $A\subseteq A\$ für alle $A\in {\mathfrak {M}};$
* und antisymmetrisch, da nur $A$ selbst sowohl Teilmenge als auch Obermenge von $A$ ist:
    $A\subseteq B\ \wedge \ B\subseteq A\ \Longrightarrow \ A=B\;\;$ für alle $A,B\in {\mathfrak {M}}.$
Weitere Beispiele:
* komponentenweise-kleiner-oder-gleich, $\leq ^{n}:$ Für eine fest gewählte natürliche Zahl $n$ und zwei Tupel aus einer Menge von $n$-Tupeln gilt:
    ${\left(a_{1},a_{2},\ldots ,a_{n}\right)}\leq ^{n}{\left(b_{1},b_{2},\ldots ,b_{n}\right)}\ :\Longleftrightarrow \ a_{i}\leq b_{i}$ für jedes $i=1,2,\ldots ,n;$
* Dies ist ein Spezialfall einer von einem Kegel induzierten Halbordnung, die zu dem Begriff der sogenannten verallgemeinerten Ungleichungen führt, die eine wichtige Rolle in der Optimierung spielen.
* Die Teilt-Relation $\mid$ in der Menge $\mathbb {N} _{0},$ erklärt etwa durch
    $a\mid b\ :\Longleftrightarrow \ \exists ~k\in \mathbb {N} _{0}\colon \ a\cdot k=b\quad$$(a,b\in \mathbb {N} _{0}).$
* Stochastische Ordnung
* Pareto-Ordnung

### Strenge Halbordnung

So wie sich die strenge Totalordnung von der Totalordnung dadurch unterscheidet, dass Reflexivität und Antisymmetrie durch Irreflexivität ersetzt werden, so wird eine strenge Halbordnung durch Irreflexivität und Transitivität bestimmt. Wie bei der strengen Totalordnung fällt bei der strengen Halbordnung der Gleichheitsstrich in der Notation weg oder wird gar durch ein Ungleichzeichen ersetzt. Ein Beispiel ist die Relation „echte Teilmenge“ bei den Mengen.

### Intervalle

Mit einem Ordnungsbegriff $\leq$ lässt sich der Begriff des Intervalls bilden. Für $a\in M,b\in M$ und $x\in M$ sei also
| abgeschlossenes Intervall: | $[a,b]$ | $:=\{x\in M\mid a\leq x\leq b\}$ |
| offenes Intervall: | $(a,b)\equiv{a,b}$ | $:=\{x\in M\mid a<x<b\}$ |
| halboffenes (genauer rechtsoffenes) Intervall: | $[a,b)\equiv {[{a,b}$ | $:=\{x\in M\mid a\leq x<b\}$ |
| halboffenes (genauer linksoffenes) Intervall: | $(a,b]\equiv{a,b}]}$ | $:=\{x\in M\mid a<x\leq b\}$ |
| rechtsseitig unendliches abgeschlossenes Intervall: | $[a,\infty )\equiv {[{a,\infty }$ | $:=\{x\in M\mid a\leq x\}$ |
| rechtsseitig unendliches offenes Intervall: | $(a,\infty )\equiv{a,\infty }$ | $:=\{x\in M\mid a<x\}$ |
| linksseitig unendliches abgeschlossenes Intervall: | $(-\infty ,b]\equiv{-\infty ,b}]}$ | $:=\{x\in M\mid x\leq b\}$ |
| linksseitig unendliches offenes Intervall: | $(-\infty ,b)\equiv{-\infty ,b}$ | $:=\{x\in M\mid x<b\}$ |
| beidseitig unendliches offenes (und zugleich abgeschlossenes) Intervall: | $(\infty ,\infty )\equiv{\infty ,\infty }$ | $:=M$ |
Die Begriffe „abgeschlossen“, „offen“, „rechts“ und „links“ stammen vom Fall $M=\mathbb {R}$ ab.
Man beachte, dass man im Fall einer Halbordnung wegen fehlender Totalität „oft“ leere Intervalle erhält (im Fall einer Quasiordnung „oft mehr“, etwa ganze Kreisscheiben oder Kugelschalen).
Im Zusammenhang mit gewissen Anwendungen eindimensionaler Intervalle können Konkretisierungen entsprechender Halbordnungen untersucht werden, die insbesondere in der englischsprachigen Literatur als Semiordnungen (Semiorder) und Intervallordnungen (Interval order) bezeichnet werden. Hierbei stehen die Aspekte überlappender Intervalle und gegebenenfalls vorliegender Intransitivität der Indifferenz im Mittelpunkt.

### Weitere Anwendung der Halbordnung

Um den Grad der Vorsortiertheit einer Menge zu messen, kann man die Anzahl der möglichen Fortsetzungen einer Halbordnung zu einer linearen Ordnung angeben. Ist beispielsweise die geordnete Menge $(X,\leq )$ mit $X=\{a,b,c\}$ und $a\leq b$ gegeben, so gibt es drei mögliche Fortsetzungen: $a\leq b\leq c$, $a\leq c\leq b$ und $c\leq a\leq b$. Der Grad der Vorsortiertheit ist also in diesem Fall $e(\leq )=3$. Das Sortierverfahren Natural Mergesort nutzt vorsortierte Teilstücke für eine vollständige Sortierung der Menge.

### Vorgänger und Nachfolger

Sei $\leq$ eine (schwache) totale (oder partielle) Ordnung auf der Menge $M$. Für $x,z\in M$ mit
    $x\leq z\land x\neq z$
heißt $x$ ein Vorgänger von $z$, und $z$ ein Nachfolger von $x$. Wenn es kein $y\in M$ gibt, mit
    $x\leq y\land x\neq y\land y\leq z\land y\neq z$,
dann heißt $x$ der direkte (auch unmittelbare) Vorgänger von $z$, und $z$ der direkte (bzw. unmittelbare) Nachfolger von $x$.
Für eine starke (gleichbedeutend: strikte) totale (oder partielle) Ordnung $<$ auf $M$ gilt formal ebenfalls die obige Definition (mit Notation $<$ anstelle von $\leq$). Die Kriterien können in diesem Fall jedoch wie folgt vereinfacht werden:
Sei $<$ auf der Menge $M$. Für $x,z\in M$ mit
    $x<z$
heißt $x$ ein Vorgänger von $z$, und $z$ ein Nachfolger von $x$. Wenn es kein $y\in M$ gibt, mit
    $x<y<z$ (d. h. $x<y\land y<z$),
dann heißt $x$ der direkte (auch unmittelbare) Vorgänger von $z$, und $z$ der direkte (bzw. unmittelbare) Nachfolger von $x$.

### Minimale, maximale und andere Elemente

Sei $T$ eine Teilmenge einer halbgeordneten Menge $P$.
Wenn $m\in T$ die Eigenschaft hat, dass es kein $x\in T$ mit $x<m$ gibt, dann heißt $m$ minimales Element von $T$. Falls es ein Element $m\in T$ gibt, das $m\leq x$ für alle Elemente $x\in T$ erfüllt, dann heißt $m$ das kleinste Element von $T$. Ein kleinstes Element von $T$ (wenn es das gibt; z. B. hat die Menge der ganzen Zahlen kein kleinstes Element) ist immer eindeutig bestimmt (wegen der Antisymmetrie) und natürlich auch minimal. In einer Totalordnung bedeuten „kleinstes Element“ und „minimales Element“ dasselbe, aber in allgemeinen Halbordnungen kann eine Menge mehrere minimale Elemente haben, von denen dann keines das kleinste ist.
Es kann sogar vorkommen, dass eine (unendliche) Menge $T$ zwar ein einziges minimales Element hat, dieses aber nicht das kleinste Element der Menge ist (dann hat $T$ kein kleinstes Element). Beispiel:
    In $M:=\{[0,a]\mid 0<a<1\}\cup \{\{2\}\}$, versehen mit $\subseteq$ als Halbordnung, ist $\{2\}$ ein minimales Element, sogar das einzige, aber nicht das kleinste, da $\{2\}\subseteq A$ nicht für alle $A\in M$ gilt.
Wenn $T$ eine Teilmenge von $P$ ist und $p\in P$ die Eigenschaft hat, dass für alle $t\in T$ die Beziehung $p\leq t$ gilt, dann heißt $p$ eine untere Schranke von $T$. ($p$ kann, muss aber nicht Element von $T$ sein.) Wenn es eine größte untere Schranke der Menge $T$ gibt, dann nennt man diese auch die untere Grenze oder das Infimum von $T$. Eine untere Schranke ist also kleiner als das oder gleich dem Infimum.
Analog sind die Begriffe maximales Element, größtes Element, obere Schranke und obere Grenze bzw. Supremum definiert.
Eine Menge, die sowohl eine obere als auch eine untere Schranke hat, heißt beschränkt. (Analog sind „nach oben beschränkt“ und „nach unten beschränkt“ definiert.)
Man nennt eine Funktion $f$, die eine beliebige Menge $X$ in eine halb- oder total geordnete Menge (siehe unten) $P$ abbildet, beschränkt, wenn die Menge der Funktionswerte beschränkt ist, also wenn es ein $p\in P$ und ein $q\in P$ gibt, sodass für alle $x\in X$
    $p\leq f(x)\leq q$
gilt.

### Lokal endliche Halbordnung

Eine Halbordnung $(M,\leq )$ heißt lokal endlich oder Kausalmenge (englisch causals set, kurz causet), wenn jedes Intervall $[x,y]:=\{z\in M:x\leq z\leq y\}$ eine endliche Menge ist. Die Kausalmengentheorie untersucht die Einbettung von Kausalmengen in Lorentzsche Mannigfaltigkeiten (ohne geschlossene Weltlinien) und ist ein Modell für eine Quanten­gravitations­theorie.

## Striktordnung

Eine strenge Ordnung oder Striktordnung ist transitiv und asymmetrisch. Der Begriff Asymmetrie fasst die Begriffe Irreflexivität und Antisymmetrie zusammen. Irreflexivität unterscheidet die Striktordnung von der Halbordnung und bedeutet, dass kein Element zu sich selbst in Beziehung steht. Eine Striktordnung ist also transitiv, irreflexiv und antisymmetrisch.
Beispiele:
* Die Relation „(echt) kleiner“ auf $\mathbb {R}$
* die Relation „Echte Teilmenge“ in einer Potenzmenge
* die Relation „komponentenweise kleiner, aber nicht gleich“ auf dem Vektorraum $\mathbb {R} ^{n}$.

## Strenge schwache Ordnung

Eine strenge schwache Ordnung R ist eine Striktordnung, bei der zusätzlich negative Transitivität gilt:
    $\neg aRb\land \neg bRc\Rightarrow \neg aRc$
Eine strenge schwache Ordnung ist einer totalen Quasiordnung komplementär und umgekehrt.

## Zusammensetzung von Ordnungen
### Kreuzprodukt

Sind $(U,<)$ und $(V,\prec )$ streng geordnete Mengen, dann lässt sich auf $U\times V$ die (ebenfalls strenge) Ordnungsrelation
    $(u\times v)\;<\!\prec \;({\overline {u}}\times {\overline {v}})\quad :\Longleftrightarrow \ \quad (u<{\overline {u}})\land (v\prec {\overline {v}})$
definieren.
Ist ${\underline {u}}<u<{\overline {u}}$ und ${\underline {v}}<v\prec {\overline {v}}$, dann ist
* $(u\times v)\;<\!\prec \;({\overline {u}}\times {\overline {v}})$.  Aber die Paare
* $(u\times v)\;>\prec \;({\underline {u}}\times {\overline {v}})$
* und $(u\times v)\;<\succ \;({\overline {u}}\times {\underline {v}})$  sind unter der Ordnungsrelation $<\!\prec$ nicht vergleichbar.  Jedoch ist
* $(u\times v)\;>\!\succ \;({\underline {u}}\times {\underline {v}})$  gleichwertig zu $({\underline {u}}\times {\underline {v}})\;<\!\prec \;(u\times v)$ und vergleichbar.
Das bedeutet insgesamt, dass eine evtl. Totalität von $(U,<)$ und $(V,\prec )$ beim Kreuzprodukt verloren geht.

### Mehrdimensionale Intervalle

Hat man eine geordnete Menge $(M,\leq )$, dann lässt sich die Ordnungsrelation nach dem oben definierten Schema für „komponentenweise-kleiner-oder-gleich“ immer auf die mehrdimensionale Menge $(M^{n},\leq ^{n})$ erweitern, da die Transitivität der Relation $\leq$ durch das Hinzufügen weiterer Komponenten von $M$ nicht verloren geht.
Allerdings geht Totalität verloren. Und ist $\leq$ nicht antisymmetrisch, dann ist es $\leq ^{n}$ auch nicht.
Mit dem mehrdimensionalen Ordnungsbegriff $\leq ^{n}$ lässt sich der Begriff des Intervalls für Halbordnungen (wie auch für Quasiordnungen) vom Eindimensionalen auf $n>1$ Dimensionen erweitern. Für $a:=\left(a_{1},a_{2},\ldots ,a_{n}\right)\in M^{n},b:=\left(b_{1},b_{2},\ldots ,b_{n}\right)\in M^{n}$ und $x:=\left(x_{1},x_{2},\ldots ,x_{n}\right)\in M^{n}$ sei also
| abgeschlossenes Intervall: | $[a,b]$ | $:=\{x\in M^{n}\mid a\leq ^{n}x\leq ^{n}b\}$ |
| offenes Intervall: | $(a,b)\equiv{a,b}$ | $:=\{x\in M^{n}\mid a<^{n}x<^{n}b\}$ |
| halboffenes (genauer rechtsoffenes) Intervall: | $[a,b)\equiv {[{a,b}$ | $:=\{x\in M^{n}\mid a\leq ^{n}x<^{n}b\}$ |
| halboffenes (genauer linksoffenes) Intervall: | $(a,b]\equiv{a,b}]}$ | $:=\{x\in M^{n}\mid a<^{n}x\leq ^{n}b\}$ |
| rechtsseitig unendliches abgeschlossenes Intervall: | $[a,\infty )\equiv {[{a,\infty }$ | $:=\{x\in M^{n}\mid a\leq ^{n}x\}$ |
| rechtsseitig unendliches offenes Intervall: | $(a,\infty )\equiv{a,\infty }$ | $:=\{x\in M^{n}\mid a<^{n}x\}$ |
| linksseitig unendliches abgeschlossenes Intervall: | $(-\infty ,b]\equiv{-\infty ,b}]}$ | $:=\{x\in M^{n}\mid x\leq ^{n}b\}$ |
| linksseitig unendliches offenes Intervall: | $(-\infty ,b)\equiv{-\infty ,b}$ | $:=\{x\in M^{n}\mid x<^{n}b\}$ |
| beidseitig unendliches offenes (und zugleich abgeschlossenes) Intervall: | $(\infty ,\infty )\equiv{\infty ,\infty }$ | $:=M^{n}$ |
Es gibt jedoch auch mehrdimensionale Intervalle, deren Verhalten an den Rändern sich nicht bei den genannten einordnen lassen, z. B.
    $\{(x_{1},x_{2})\mid a_{1}\leq x_{1}\leq b_{1}\land a_{2}<x_{2}<b_{2}\}\qquad (\subseteq [a,b])$,
wo bei der ersten Komponente $[a_{1},b_{1}]$ der Rand dabei ist, bei der zweiten $(a_{2},b_{2})$ aber nicht.

## Induktive Ordnung

Eine halbgeordnete Menge $(M,\leq )$ heißt induktiv geordnet, wenn jede linear geordnete Teilmenge von $M$ eine obere Schranke besitzt. Sie heißt streng induktiv geordnet, wenn jede linear geordnete Teilmenge eine kleinste obere Schranke besitzt.
Nach dem Lemma von Zorn besitzt jede induktiv geordnete Menge ein maximales Element.

## Fundierte Ordnung

Eine fundierte Ordnung ist eine Halbordnung, in der es keine unendlichen, echt absteigenden Ketten gibt (oder, äquivalent formuliert: bei der jede nichtleere Teilmenge ein minimales Element besitzt). Beispiel: die Teilbarkeitsbeziehung | zwischen natürlichen Zahlen.

## Wohlquasiordnung

Eine Wohlquasiordnung ist eine Quasiordnung mit der Eigenschaft, dass es zu jeder Folge $(p_{1},p_{2},p_{3},\ldots )$ zwei natürliche Zahlen $k<n$ gibt, so dass $p_{k}\leq p_{n}$ gilt.

## Wohlordnung

Eine Wohlordnung ist eine totale Ordnung, bei der jede nichtleere Teilmenge ein kleinstes Element besitzt. Einige Beispiele:
* „Kleinergleich“ auf den natürlichen Zahlen $\mathbb {N}$.
* Die ganzen Zahlen $\mathbb {Z}$ mit der Ordnung $0<1<-1<2<-2<3<-3<\ldots$
* Die ganzen Zahlen $\mathbb {Z}$ mit der Ordnung $0<1<2<3<\ldots <-1<-2<-3<\ldots$
Der Wohlordnungssatz garantiert die Existenz einer Wohlordnung für jede Menge, zum Beispiel auch für die reellen Zahlen $\mathbb {R}$. Er ist zum Auswahlaxiom äquivalent.

## Baum

Ein Baum ist eine Halbordnung $(T,<)$, bei der für jedes $x\in T$ die Menge $\{y\mid y<x\}$ der Vorgänger von $x$ wohlgeordnet ist.

## Verbandsordnung

Eine Verbandsordnung ist eine Halbordnung, in der es zu je zwei Elementen $v$ und $w$ immer ein Supremum $\sup(v,w)$ und ein Infimum $\inf(v,w)$ gibt. Eine Menge $M$, auf der eine Verbandsordnung $\leq$ definiert ist, wird verbandsgeordnete Menge genannt.
Durch jede Verbandsordnung ist die algebraische Struktur eines Verbandes gegeben, indem man für je zwei Elemente $v$ und $w$ definiert:
* $v\vee w:=\sup(v,w),$
* $v\wedge w:=\inf(v,w).$
Umgekehrt lässt sich in jedem Verband durch
* $v\leq w\iff v\vee w=w$
für je zwei Elemente $v$ und $w$ eine Verbandsordnung definieren, so dass
* $\sup(v,w)=v\vee w,$
* $\inf(v,w)=v\wedge w.$
Eine verbandsgeordnete Menge wird daher oft „Verband“ genannt, sie selbst ist jedoch im Gegensatz zum Verband keine algebraische Struktur.

## Vollständige Halbordnung

Eine vollständige Halbordnung (engl. pointed complete partial order, dcpo, cppo, auch cpo) ist eine Halbordnung mit einem kleinsten Element und der Eigenschaft, dass jede Teilmenge, die eine aufsteigende Kette $(x_{0}\leq x_{1}\leq x_{2}\leq \dotsb )$ bildet, ein Supremum besitzt. Das Supremum muss dabei nicht in der Teilmenge selbst liegen.
Bei einer gerichteten vollständigen Halbordnung (engl. directed complete partial order, DCPO) muss im Gegensatz zur vollständigen Halbordnung die leere Menge kein Supremum besitzen. Es muss damit kein kleinstes Element geben.
Diese beiden Vollständigkeitsbegriffe spielen eine Rolle bei Beweisen mit Hilfe des Lemmas von Zorn. → Davon zu unterscheiden ist der an die Topologie angelehnte Begriff Ordnungsvollständigkeit.

## Konstruktion neuer Ordnungen

Aus vorhandenen Ordnungen lassen sich auf sehr unterschiedliche Weise neue Ordnungen konstruieren.

### Verkettung

Ähnlich den Zeichenketten lassen sich zwei geordnete Mengen zu einer dritten geordneten Menge verketten (englisch: ordinal sum). Dabei ist für zwei geordnete Mengen $(A,<_{A})$ und $(B,<_{B})$
    die Menge ${\bigl(A\,\cup _{<}\!B),\;<_{\cup }\!\!{\bigr )}$
die geordnete Menge, die die disjunkte Vereinigungsmenge $A\sqcup B$ zur Grundmenge hat und mit der („vereinigten“) Ordnungsrelation $<_{\cup }$ ausgestattet ist, die für $a_{1},a_{2}\in A$ und $b_{1},b_{2}\in B$ deren Ordnung in $A$ resp. $B$ als $a_{1}\!<_{\cup }a_{2}\;:\Longleftrightarrow \;a_{1}\!<_{A}a_{2}$ resp. $b_{1}\!<_{\cup }b_{2}\;:\Longleftrightarrow \;b_{1}\!<_{B}b_{2}$ fortsetzt und zusätzlich für $a\in A,\;b\in B$ die durch die Reihenfolge der Operanden (zuerst $A$ dann $B$ in $A\cup _{<}B$) spezifizierte Ordnung $a<_{\cup }b$ festlegt. Die so definierte Relation $<_{\cup }$ ist wieder eine Ordnung, die total ist, wenn die Ausgangsordnungen total sind. Es existieren auch die abgekürzten Schreibweisen $(A\,\cup _{<}\!B,\;<)$ oder $A\,\cup _{<}\!B$ – oder (bei ausreichendem anderweitigem Kontext) gar nur $A\cup B$.
Das Konzept lässt sich auf beliebige geordnete Indexmengen und damit gebildete disjunkte Vereinigungsmengen erweitern.

### Ordnungen auf dem kartesischen Produkt

* Lexikographische Ordnung auf $\mathbb {N} \times \mathbb {N}$: Die verstärkten Linien nach rechts oben sind unendlich lang.
* Hasse-Diagramm der Produkt-Ordnung auf $\mathbb {N} \times \mathbb {N}$: Je weiter unten (links oder rechts), desto < (kleiner).
Im kartesischen Produkt $A\times B$ zweier geordneter Mengen $A$ und $B$ lassen sich bilden:
* die lexikographische Ordnung: $(a_{1},b_{1})<(a_{2},b_{2})\;:\Longleftrightarrow \;a_{1}<a_{2}\lor a_{1}=a_{2}\land b_{1}<b_{2}$; sie ist total, wenn die Ausgangsmengen total geordnet sind;
* die Produktordnung (englisch: product order): $\left(a_{1},b_{1}\right)\leq \left(a_{2},b_{2}\right)\;:\Longleftrightarrow \;a_{1}\leq a_{2}\land b_{1}\leq b_{2}$; sie ist i. Allg. nicht total.
Die so konstruierten Ordnungen können auf kartesische Produkte von mehr als zwei Mengen erweitert werden. Die Erweiterungsoperation erweist sich dabei als assoziativ.

## Ordnungstheoretischer Stetigkeitsbegriff

Ordnungstheoretisch lässt sich die Stetigkeit als Verträglichkeit einer Funktion mit dem Supremum vollständiger Halbordnungen $A,B$ fassen. Eine Funktion $f\colon A\rightarrow B$ heißt stetig, wenn $f\left(\bigsqcup X\right)=\bigsqcup f(X)$ für alle gerichteten Teilmengen $X\subseteq A$ gilt. Dieser Begriff spielt in der Bereichstheorie eine zentrale Rolle. Ähnlich der Folgenstetigkeit oben werden auch hier Grenzwerte wieder auf Grenzwerte abgebildet.
In diesem Zusammenhang folgt aus der Stetigkeit einer Funktion deren Monotonie. Umgekehrt bildet jede monotone Funktion eine gerichtete Menge wieder auf eine solche ab, wodurch die Existenz des Supremums des Abbilds dann von vornherein gewiss ist und nicht mehr gezeigt werden muss. Viele Autoren nehmen die Monotonie als Voraussetzung in die Definition der Stetigkeit auf.

## Homomorphismen

Seien $(X,R)$ und $(X',R')$ geordnete Mengen. Eine Abbildung $\varphi \colon X\rightarrow X'$ heißt isoton, ordnungserhaltend, ordnungstreu oder Ordnungshomomorphismus, wenn $xRy\Rightarrow \varphi (x)R'\varphi (y)$ für alle $x,y\in X$ gilt.

## Verwendung der Begriffe

Die Autoren benutzen den Begriff „Ordnung“ unterschiedlich. Er kann eine Halbordnung oder eine totale Ordnung bezeichnen. Vermutlich induziert von den Polaritäten „halb“ und „total“, findet man somit häufig die Abgrenzung
    Ordnung (im Sinn von Halbordnung) $\quad \longleftrightarrow \quad$ totale Ordnung
oder auch
    Halbordnung $\quad \longleftrightarrow \quad$ Ordnung (im Sinn von totale Ordnung).