開覆蓋與子覆蓋開覆蓋由指定拓撲的開集組成且聯集包含目標集合；子覆蓋須取自原覆蓋並仍覆蓋同一目標。atlas-open-cover-and-subcover · canonical_mko開覆蓋與子覆蓋前置節點拓撲空間開集與閉集子集合集合運算