\begin{definition}[Definition:Bijection/Definition 3]
A mapping $f: S \to T$ is a '''bijection''' {{iff}}:
:the inverse $f^{-1}$ of $f$ is a mapping from $T$ to $S$.
That is, {{iff}} $f$ admits an inverse.
\end{definition}