Función sobreyectiva

Ejemplo de función sobreyectiva.

En matemática, una función $f\colon X\to Y\,$ es sobreyectiva (epiyectiva, suprayectiva, suryectiva o exhaustiva), si está aplicada sobre todo el codominio, es decir, cuando la imagen $Im_{f}=Y\,$, o en palabras más sencillas, cuando cada elemento de "Y" es la imagen de como mínimo un elemento de "X".

Formalmente,

$\forall y\in Y:\exists x\in X,\ f(x)=y$

Los siguientes diagramas corresponden a función sobreyectiva:

Véase también

• Función inyectiva
• Función biyectiva