Sea formula_1 una familia no vacía de subconjuntos compactos de un espacio métrico formula_2.