Ordered Set is Upper Section in Itself

Theorem

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

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

Proof

Follows immediately from the definition of upper section.

$\blacksquare$