Escribiremos las funciones regulares sobre formula_7 como formula_11.