Injection

A function is injective (one-to-one) if, given \(f: S\rightarrow T, a\in S, b\in S\),

\begin{equation} f(a) = f(b) \rightarrow a = b \end{equation}