Por lo que tenemos definida una estructura formula_33 donde formula_34 está formada por las restricciones de las operaciones en formula_32.