En topología, un conjunto de un espacio topológico se dice compacto si cualquier colección de conjuntos abiertos que recubren a (recubrimiento abierto), podemos seguir recubriéndola con una cantidad finita de (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.