Surjection iff Right Inverse

Theorem
A mapping $f: S \to T, S \ne \O$ is a surjection :
 * $\exists g: T \to S: f \circ g = I_T$

where:
 * $g$ is a mapping
 * $I_T$ is the identity mapping on $T$.

That is, $f$ has a right inverse.

Also see

 * Injection iff Left Inverse