Si formula_8 es un espacio topológico y formula_30