Injection

Sei \(f: X \rightarrow Y\) eine Abbildung.
\(f\) ist injektiv, wenn gilt:

\begin{align*} \forall x \in X \forall x_2 \in X (f(x) = f(x_2) \Rightarrow x = x_2) \end{align*}