Definition:Dual Ordering/Strict/Notation

Definition

To denote the dual of an strict ordering, the conventional technique is to reverse the symbol.

Thus:

$\succ$ denotes $\prec^{-1}$

and so:

$a \prec b \iff b \succ a$

Similarly for the standard symbol used to denote a strict ordering on numbers:

$>$ denotes $<^{-1}$

and so on.

Sources

• 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {III}$: The Natural Numbers: $\S 14$: Orderings