a_2 是 formula_1 的覆盖，则 formula_2 的子覆盖是 formula_2 的仍覆盖 formula_1 的子集。formula_1 的开覆盖被称为是局部有限的，如果对任意 formula_1 的点formula_33 都存在一个邻域，其只与这个覆盖中有限多个集合有交集。用符号来说，formula_34 是局部有限的，如果对于任何 formula_35，存在某个 formula_33 的邻域 formula_37 使得集合是有限的。
精细.formula_