Subset of Convex Set can be Uniquely Expressed as Partition of Maximal Convex Sets

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

Then $S$ can be uniquely expressed as the partition whose components are maximally convex sets.