Un subconjunto de la línea real es compacto, ssi, es cerrado y acotado.