De hecho, la topología general nos dice que un espacio es compacto metrizable si y solo si es secuencialmente compacto, de modo que la de Bolzano-Weierstrass y el teorema de Heine-Borel son esencialmente los mismos.