Representen formula_27 y formula_28 dos cosas, y designe formula_29 una operación binaria, interna y asociativa en formula_7, entonces la yuxtaposición formula_29 de formula_32 y formula_33 es una tercera cosa