Inverse is Mapping implies Mapping is Injection/Proof 1

Proof
Let $f^{-1}: T \to S$ be a mapping.

Let $\map f {x_a} = y$ and $\map f {x_b} = y$.

Then:

Thus, by definition, $f$ is an injection.