Category:Definitions/Dual Orderings

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Dual Orderings.
Related results can be found in Category: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$.