Inverse is Mapping implies Mapping is Surjection/Proof 2

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

We have:

Thus $f$ is by definition a surjection.