\(f: A \longrightarrow B\) es inyectiva ya que elementos distintos de A tienen imágenes distintas en B.

Definición

Una función \(f: A \longrightarrow B\) es inyectiva si \(\forall\) \(x_{1}, x_{2} \in A\)

\[x_{1} \neq x_{2} \longrightarrow f(x_{1}) \neq f(x_{2})\] O dicho de otra forma,

\[ f(x_{1}) = f(x_{2}) \longrightarrow x_{1} = x_{2}\]

Es posible interpretar gráficamente el concepto de función inyectiva por medio de la prueba de la recta horizontal: al trazar una recta paralela al eje \(x\), esta no cortará la gráfica de la función en mas de un punto.