Una función es sobreyectiva (o suryectiva o exhaustiva) cuando el recorrido cubre todo el conjunto de llegada. Es decir, todo elemento del conjunto de llegada (rango) es imagen de al menos un elemento del conjunto de partida (dominio).

Definición formal:

Sea la función

f: A → B

Diremos que f es sobreyectiva, si y solo si, para todo y є B, existe x є A tal que f(x) = y.

Es decir, la imagen de f es igual al Rango o codominio de la función

Im(f)=B

Véase también

---

• Función inyectiva
• Función biyectiva

Teoría de conjuntos | Сюрекция | Surjektivität | Bijection, injection and surjection | Surjektio | Surjection | Surjektio | 全射 | Surjectie | Funkcja na | Сюръекция | Surjektiv | Cюр'єкція | 满射