un subconjunto cerrado de un espacio topológico compacto es compacto