緊緻空間

喺數學入面，如果歐幾里得空間  嘅子集係閉集而且係有界，咁佢就係緊緻嘅。例如，喺  入面，單位區間 [0, 1] 係緊緻嘅，但係整數集合  就唔係，因爲佢係無界嘅，半開區間 [0, 1) 都唔係緊緻，因爲佢唔係閉集。

推而廣之，一個拓撲空間若果佢嘅任何開覆蓋都有有限子覆蓋，咁就叫做緊緻。Heine–Borel 定理證明咗對於歐幾里得空間嘅子集嚟講，呢兩個定義係一致嘅。

拓撲學