# Category:Dual Ordered Sets

The ordered set $\left({S, \succeq}\right)$ is called the dual ordered set (or just dual) of $\left({S, \preceq}\right)$.