Como vemos, no a todo elemento del conjunto formula_1 le corresponde un elemento del conjunto formula_2, cuando esto sucede se dice que la función no es sobreyectiva o no suryectiva (sur viene del francés y significa sobre).