Injection iff Left Inverse

Theorem
A mapping $f: S \to T, S \ne \varnothing$ is an injection :
 * $\exists g: T \to S: g \circ f = I_S$

where $g$ is a [Definition:Mapping|mapping]].

That is, $f$ has a left inverse.

In general, that left inverse is not unique.

Uniqueness occurs under either of two circumstances:


 * $(1): \quad S$ is a singleton
 * $(2): \quad f$ is a bijection.

Also see

 * Surjection iff Right Inverse