El conjunto\(K\) se establece para ser compacto si para cualquier colección de conjuntos abiertos\(\{ U_{\lambda} \}_{\lambda \in I}\) tal que\[K \subset \bigcup_{\lambda \in I} U_\lambda ,\] existe u...El conjunto\(K\) se establece para ser compacto si para cualquier colección de conjuntos abiertos\(\{ U_{\lambda} \}_{\lambda \in I}\) tal que\[K \subset \bigcup_{\lambda \in I} U_\lambda ,\] existe un subconjunto finito\(\{ \lambda_1, \lambda_2,\ldots,\lambda_k \} \subset I\) tal que\[K \subset \bigcup_{j=1}^k U_{\lambda_j} .\]
