Dual Ordered Set is Ordered Set

Theorem
Let $P = \left({S, \preceq}\right)$ be an ordered set.

Then its dual, $P^{-1} = \left({S, \succeq}\right)$, is also an ordered set.

Proof
Immediate from Dual Ordering is Ordering.