Se dice que formula_8 es un epimorfismo si es una aplicación sobreyectiva, es decir, formula_41.