在数学中，若 formula_1 是一个集合搜集 formula_2 中并集的子集，则集合搜集 formula_2 是集合 formula_1 的覆盖。用符号来说，如果 formula_5 是 formula_1 的子集索引族，则 formula_2 是如下条件下的覆盖（定义可参见: Gamelin 与 Greene 第19页或 Kelly 第49页）更一般的说，如果 formula_9 是 formula_1 的子集，而 formula_2 是 formula_1 的子集 formula_13 的搜集