Esta equivalencia de la compacidad será usada frecuentemente en lo que sigue.