Szpilrajn Extension Theorem

Theorem
Let $(S, \prec)$ be a strictly ordered set.

Then there is a strict total ordering, $<$, of which $\prec$ is a subset.