Una formulación equivalente es que un subconjunto de R es secuencialmente compacto si y sólo si es cerrado y acotado.