##### 集合覆盖 - 集合覆盖 - **集合覆盖**是指一个[[集合族]]元素的并集包含另一个[[集合]]. 对于集合 $S$ 如果一个集合族 $\mathcal{A}=\{A_i\}_{i \in I}$ 的并集能包含 $S$ , 则称 $\mathcal{A}$ **覆盖** $S$ ; 如果 $\mathcal{A}$ 是[[有限集]], 则称为有限覆盖; 如果 $\mathcal{A}$ 的每一成员都是[[开集]], 则称为开覆盖, 如果 $\mathcal{A}$ 的[[子集]] $\mathcal{B}$ 同样可以覆盖, 则称 $\mathcal{B}$ 为子覆盖 - $\displaystyle \bigcup_{i \in I} A_i \supseteq S$