Intersection of Convex Sets is Convex Set (Order Theory)

Theorem
Let $\left({S, \preceq}\right)$ be an ordered set.

Let $\mathcal C$ be a set of convex sets in $S$.

Then $\bigcap \mathcal C$ is convex.

Proof
Let $a, b, c \in S$.

Let $a, c \in \bigcap \mathcal C$.

Let $a \prec b \prec c$.

By the definition of intersection:


 * $\forall C \in \mathcal C$: $a, c \in C$

Since each $C \in C$ is convex:


 * $\forall C \in \mathcal C$: $b \in C$.

Thus by the definition of intersection:


 * $b \in \bigcap \mathcal C$

Thus $\bigcap \mathcal C$ is convex.