Vemos de la tabla que formula_2 es cerrado respecto a la operación, además tiene un neutro formula_45.