Un cubrimiento abierto de un espacio topológico es una colección de subconjuntos abiertos de cuya unión es todo . Un subcubrimiento de es una subcolección cuya unión sigue siendo .
Espacio compacto
Un espacio topológico se dice que es compacto si todo recubrimiento abierto de contiene un subrecubrimiento finito.