Definition (Injective)

A function $f:X\to Y$ is injective or one-to-one if whenever $x,y\in X$ are such that $f(x)=f(y)$, then $x=y$.