die Umkehrung einer gegebenen Ordnung in folgendem Sinne:

Ist R eine Ordnung, dann ist die inverse Ordnung definiert durch \begin{eqnarray}{R}^{\star }:=\{(b,a):(a,b)\in R\}.\end{eqnarray}

\({R}^{\star }\) ist wiederum eine Ordnung. Ein typisches Beispiel ist die zu „≤“ inverse Ordnungsrelation „≥“.