Inverse Element of Injection

Theorem
Let $f: S \to T$ be an injection.

Then:


 * $f^{-1} \left({y}\right) = x \iff f \left({x}\right) = y$