Ordered Set is Upper Set in Itself

Theorem
Let $\struct {S, \preceq}$ be an ordered set.

Then $S$ is an upper set in $S$.

Proof
Follows immediately from the definition of upper set.