Función inyectiva
De Wikipedia, la enciclopedia libre
Una función (o más general un mapeo) es inyectiva (inyectivo) cuando las imágenes en el conjunto codominio del mapeo se corresponden con elementos diferentes del conjunto de partida. Es decir, no existe una misma imagen que tenga asociados elementos distintos del conjunto de dominio.
Definición formal:
Sea 
una función. Diremos que f es inyectiva, si y sólo si, para todo x, y є A tales que x ≠ y implica que f(x) ≠ f(y), o lo que es lo mismo, si f(x) = f(y), entonces x = y.
es inyectiva 
; o lo que es lo mismo: 
Equivalentemente, es injectivo si la fibra de cada elemento del codominio tiene cardinalidad menor o igual a uno.
