addedd Thomas' comment on a preorder

203_Untere_Schranke_Sortieralgorithmen.tex

@@ -22,7 +22,8 @@ bestimmen. Das impliziert, dass die Elemente eine sogenannte totale Quasiordnung
 Insbesondere erfüllt jede totale Ordnung (also beispielsweise die normale Ordnung auf den ganzen oder reellen Zahlen)
 die Axiome der totalen Quasiordnung.
 Für eine ``echte'' Quasiordnung betrachten wir $X = \{x,y,z\}$, mit $\leq$ definiert durch $y \leq x$, $y \leq z$, $x \leq z$ und $z \leq x$.
-Nun sind $x$ und $z$ ``gleich'', wir benutzen das Symbol $x \equiv z$.
+Nun sind $x$ und $z$ ``gleich'', wir benutzen das Symbol $x \equiv z$. Formaler aufgeschrieben: $x \leq z  \land  z \leq
+x  \Longrightarrow  x \equiv z$.
 
 Für ein praktisches Beispiel können wir Spielkarten anschauen, die wir allein nach den numerischen Werten ordnen. Dann
 ist mit $x = $ Herz 8, $y = $ Herz 7 und $z = $ Pik 8 klar, dass $x \equiv z$, aber nicht unbedingt $x = z$, wie es bei