Interval of Ordered Set is Convex

From ProofWiki
Jump to navigation Jump to search


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$.


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.