這個概念是理解 緊緻性 的前置之一——緊緻性定義裡的「開覆蓋」由一族開集構成。

開集（open set）是每個成員點周圍都留有餘裕的集合：站在集合裡的任何一個點上，它的周圍都還有一小段空間，同樣屬於這個集合。換句話說，開集裡沒有任何一個點是「貼著集合外面」的。

一個抓得到的對照

數線上「大於 0 且小於 1 的所有數」，記作 (0,1)，是開集。站在裡面任何一個點上——就算是 0.999——左右都還留有一小段同屬集合的空間，只是那段空間可能很窄。

「大於等於 0 且小於等於 1」，記作 [0,1]，就沒有這個性質：站在點 1 上，右邊緊貼著集合外面，一點餘裕都沒有。所以 [0,1] 屬於另一種身分——閉集合，一個把邊界收進來的集合。

判別的關鍵在邊界：開集把自己的邊界排除在外，所以每個成員點才有餘裕；把邊界包進來的集合，邊界上的點就貼著外面了。

一族開集（family of open sets）

一族開集指的就是一堆開集的合稱，成員可以有限多個、也可以無限多個。這個詞在「覆蓋」的語境裡是基本語彙：用一族開集把某個集合整個蓋住，就是 緊緻性 定義裡的開覆蓋（open cover）。「族（family）」只表達「一批集合」，本身沒有額外的結構要求。

為什麼「開」是基本磚

開集是拓樸學（topology）的起點：一個空間只要規定好「哪些集合算開集」，連續、收斂、緊緻這些概念就都能在上面定義，完全不需要先有距離或座標。數線上的開區間只是開集最具體的長相，這個概念本身通用得多。