Esta aplicación formula_12 tiene como dominio al conjunto formula_2 y como codominio al conjunto formula_1.