Szpilrajn Extension Theorem

Theorem
Let $\left({S, \prec}\right)$ be a strictly ordered set.

Then there is a strict total ordering on $S$ of which $\prec$ is a subset.