En cualquier espacio topológico, un conjunto cerrado dentro de un compacto, siempre es compacto.