Compacto
De Wikipedia, la enciclopedia libre
En topología, un conjunto de un espacio topológico se dice compacto si cualquier colección de conjuntos abiertos Ui que recubren a K (recubrimiento abierto), podemos seguir recubriéndola con una cantidad finita de Ui (subrecubrimiento finito).
El teorema de Heine-Borel da una caracterización útil en los espacios : K es compacto si y solo si K es cerrado y acotado.