Un subconjunto compacto de un espacio Hausdorff es cerrado.