A function $f:A\to B$ is injective if for all $a,b \in A$, $a\neq b$ implies that $f(a)\neq f(b)$.
Wikidata ID: Q182003