Además, en un espacio topológico de Hausdorff, un compacto siempre es cerrado.