Ordered Set is Convex in Itself

Theorem

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

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

Proof

Follows immediately from the definition of convex set.

$\blacksquare$