Injection has Surjective Left Inverse Mapping

Theorem
Let $S$ and $T$ be sets such that $S \ne \varnothing$.

Let $f: S \to T$ be a injection.

Then there exists a surjection $g: T \to S$ such that:
 * $g \circ f = I_S$