Para ser exacto, si se sumerge un espacio compacto de Hausdorff "K" en un espacio arbitrario de Hausdorff "X" entonces "K" será siempre un subconjunto cerrado de "X": el «espacio circundante» no importa aquí.