En lo que sigue, formula_20 representará siempre un espacio topológico.