覆蓋空間

假設 是 弧連通 且 區域性弧連通 的 拓撲空間。那麼 被稱為 的覆蓋空間，如果 是一個 滿射 連續對映，且對於每個 ，都存在一個 開鄰域 ，使得 的每個 連通分支 都透過 同胚地 對映到 上。