Un conjunto "X" se dice compacto sí y sólo sí: todo recubrimiento abierto de "X" contiene un subrecubrimiento finito.