En matemática, una función: f : X ⟶ Y x ⟼ y = f ( x ) , entonces sí se obtiene una función inyectiva.