# Interval of Ordered Set is Convex

 It has been suggested that this page or section be merged into Interval of Totally Ordered Set is Convex. (Discuss)

## Theorem

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

Let $I$ be an interval: be it open, closed, or half-open in $S$.

Then $I$ is convex in $S$.

## Proof

Any interval can be represented as the intersection of two rays.

Thus by Ray is Convex and Intersection of Convex Sets is Convex Set (Order Theory), $I$ is convex.

$\blacksquare$