Dado un espacio topológico $X$ y un subconjunto de ella $S$, $S$ es compacto si para cada abierto de la cubierta de $S$, hay un número finito de subcover de $S$.
Solo curiosidad: He hecho algunas búsquedas en Internet ¿por qué compacto conjuntos son llamados compacto, pero no contiene ningún buen resultado. Para alguien que no tiene conocimiento de la topología, Frente a la compacidad crea la mentalidad de que un conjunto compacto es un comprimido !
¿Alguien sabe o tiene alguna información sobre la pregunta?