緊空間

如果 拓撲空間 的每個 開覆蓋 都有有限子覆蓋，則稱該拓撲空間是緊的。換句話說，如果 是一族 開集 的並集，則存在一個有限子族，其並集也是 。拓撲空間 的子集 是緊的，如果它作為具有 相對拓撲 的 拓撲空間 是緊的（即， 的每個 開集 族，其並集包含 ，都有一個有限子族，其並集包含 ）。