ula_9 的覆盖。也就是 formula_2 是 formula_9 的覆盖如果
拓扑学中覆盖.覆盖通常用在拓扑学的上下文中。如果集合 formula_1 是拓扑空间，我们称 formula_2 是开覆盖，如果它的每个成员都是开集（就是说每个 formula_13 都包含在 formula_23 中，这里的 formula_23 是 formula_1 上的拓扑）。如果 formula_2 是 formula_1 的覆盖，则 formula_2 的子覆盖是 formula_2