Interval of Ordered Set is Convex
Jump to navigation
Jump to search
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$