Ordered Set is Lower Set in Itself

Theorem
Let $(S, \preceq)$ be an ordered set.

Then $S$ is a lower set in $S$.

Proof
Follows immediately from the definition of lower set.