Order-Extension Principle

Theorem
Every ordering on a set can be extended to a total ordering on that set.

More precisely, given a set $S$ and an ordering $\preceq$ on $S$,

there exists a total ordering $\le$ on $S$ such that for all $a,\,b \in S$, $a \preceq b \implies a \le b$.