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".