緊緻子集K⊆X在subspace topology下compact，等價地每個relative-open cover有有限subcover。atlas-compact-subset · canonical_mko緊緻子集前置節點緊緻拓撲空間子空間拓撲