Enuncie la definición de función inyectiva
Sea FFF una función definida en SSS. Se dice que FFF es inyectiva (uno a uno) en SSS si y solo si ∀x,y∈S:F(x)=F(y)→x=y\forall x,y \in S: F(x) = F(y) \rightarrow x = y∀x,y∈S:F(x)=F(y)→x=y