Lo que queremos es definir una operación en formula_66 tal que