Right Inverse Mapping is Injection

Theorem
Any right inverse of a surjection is an injection.

Proof
Let $$f: S \to T$$ be a surjection.

Then from Right Inverse Mapping there exists at least one right inverse $$h: T \to S$$ of $$f$$ such that $$f \circ h = I_T$$.

$$I_T$$ is an injection.

Thus $$f \circ h$$ is an injection, and by Composite with Injection is an Injection we see that $$h$$ is also a injection.