Una función formula_158 es sobreyectiva si para todo elemento formula_16 del codominio existe un elemento formula_13 del dominio cuya imagen es formula_16, es decir, si formula_250 (ver Figura 8)