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