Order-Extension Principle/Strict

Theorem
Let $S$ be a set.

Let $\prec$ be a strict ordering on $S$.

Then there exists a strict total ordering $<$ on $S$ such that:
 * $\forall a, b \in S: a \prec b \implies a < b$