Category:Dual Orderings

This category contains results about Dual Orderings.
Definitions specific to this category can be found in Definitions/Dual Orderings.

Let $\struct {S, \preceq}$ be an ordered set.

Let $\succeq$ be the inverse relation to $\preceq$.

That is, for all $a, b \in S$:

$a \succeq b$ if and only if $b \preceq a$

Then $\succeq$ is called the dual ordering of $\preceq$.