En un espacio métrico, los conjuntos compactos son cerrados