Inverse is Mapping implies Mapping is Surjection

Theorem
Let $S$ and $T$ be sets.

Let $f: S \to T$ be a mapping.

Let the inverse $f^{-1} \subseteq T \times S$ itself be a mapping.

Then $f$ is a surjection.

Also see

 * Inverse is Mapping implies Mapping is Injection