# One-to-one

A function $f \colon X \rightarrow Y$ is called one-to-one (or injective) if for all $a, b \in X$, $f(a)=f(b)$ implies that $a=b$.