Función sobreyectiva

En matemáticas, una función: es sobreyectiva,[1]​ epiyectiva, suprayectiva,[1]​ suryectiva, exhaustiva,[1]​ onto o subyectiva si está aplicada sobre todo el codominio, es decir, cuando cada elemento de

f ( x ) = y

Una función sobreyectiva es una función cuya imagen es igual a su codominio.

existe al menos una

f ( x ) = y

Simbólicamente En ocasiones para denotar que una función

es sobreyectiva se utiliza la notación: Dados dos conjuntos

, entre los cuales existe una función sobreyectiva

, se tiene que los cardinales cumplen:

Si además existe otra aplicación sobreyectiva

, entonces puede probarse que existe una aplicación biyectiva entre

, por el teorema de Cantor-Bernstein-Schröder.