Order-Extension Principle/Strict/Finite Set

Theorem
Let $T$ be a finite set.

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

Then there exists a strict total ordering $<$ on $T$ such that:
 * $\forall a, b \in T: \left({a \prec b \implies a < b}\right)$