In mathematica, f {\displaystyle f} es injective (o un injection), si e solmente si f {\displaystyle f} es un function con ∀ x , y ∈ D o m ( f ) f ( x ) = f ( y ) ⇒ x = y {\displaystyle \forall x,y\in \mathrm {Dom} (f)\;\;f(x)=f(y)\Rightarrow x=y} .
