En matemática, una función formula_1 es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva) si está aplicada sobre todo el codominio, es decir, cuando cada elemento de formula_2 es la imagen de como mínimo un elemento de formula_3.