El par formula_5 es lo que se conoce como un espacio de medida.