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