緊緻拓撲空間拓撲空間緊緻,若每個開覆蓋都有有限子覆蓋;每個有限拓撲空間皆緊緻。atlas-compact-topological-space · canonical_mko緊緻拓撲空間前置節點拓撲空間開覆蓋與子覆蓋量詞與明示論域