Si formula_1 consiste en un espacio métrico, se puede desarrollar aun más: