Un espacio topológico X es compacto, ssi, cada familia de