Sea formula_7 un espacio topológico y formula_8 un conjunto compacto.