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 $f\backslash colon\; A\backslash to\; B$ 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.

Equivalentemente, es injectivo si la fibra de cada elemento del codominio tiene cardinalidad menor o igual a uno.

Véase también

• Función sobreyectiva
• Función biyectiva

Teoría de conjuntos

Инекция | Injektivität | Bijection, injection and surjection | Injektio | Injection (mathématiques) | Injektio | Funzione iniettiva | 単射 | Injectie (wiskunde) | Funkcja różnowartościowa | Инъективность | Injektiv