Un espacio es compacto si para todo recubrimiento por abiertos (familia de abiertos cuya unión contiene al espacio total X) existe subrecubrimiento finito (familia finita de abiertos, formada sólo por conjuntos de la familia anterior, cuya unión contiene a X).