funciones sobreyectivas

una función es sobreyectiva (epiyectiva, suprayectiva, suryectiva o exhaustiva), si está aplicada sobre todo el codominio, es decir, cuando la imagen , o en palabras más sencillas, cuando cada elemento de "Y" es la imagen de como mínimo un elemento de "X"

Una función f (de un conjunto A a otro B) es sobreyectiva si para cada y en B, existe por lo menos un x en Aque cumple f(x) = y, en otras palabras f es sobreyectiva si y sólo si f(A) = B.

Así que cada elemento de la imagen corresponde con un elemento del dominio por lo menos.

Ejemplo: la función f(x) = 2x del conjunto de los números naturales  al de los números pares no negativos es sobreyectiva.

Sin embargo, f(x) = 2x del conjunto de los números naturales  a  no es sobreyectiva, porque, por ejemplo, ningún elemento de  va al 3 por esta función.