Inverse is Mapping implies Mapping is Injection/Proof 2

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

Thus $f$ is by definition an injection.