Formalment, ∀ y ∈ Y : ∃ x ∈ X ,   f ( x ) = y {\displaystyle \forall y\in Y:\exists x\in X,\ f(x)=y} En matematicas, una función f : X → Y {\displaystyle f\colon X\to Y\,} ye una función inchectiva u uno ye a uno si ta cada imachen de f {\displaystyle f\,} li corresponde un únic origen del dominio.