la compacidad de subconjuntos de R.