La distinción entre formula_3 y formula_1 aparecerá cuando definamos en formula_1 una operación que no es ninguna de las usuales en formula_3.