Esta forma del teorema hace especialmente clara la analogía con el Teorema de Heine-Borel, que afirma que un subconjunto de R es compacto si y solo si es cerrado y acotado.