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 def ( x ) = yUna función sobreyectiva es una función cuya imagen es igual a su codominio.existe al menos unaf ( x ) = ySimbólicamente En ocasiones para denotar que una funciónes 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.
