Injection (mathematica)

In mathematica, ${\displaystyle f}$ es injective^[1] (o un injection), si e solmente si ${\displaystyle f}$ es un function con ${\displaystyle \forall x,y\in \mathrm {Dom} (f)\;\;f(x)=f(y)\Rightarrow x=y}$.