覆蓋對映

覆蓋對映（也稱為覆蓋或射影）是一個滿射開對映 ，它在區域性上是同胚，這意味著 中的每個點都有一個鄰域，該鄰域在 對映到 後保持不變。在覆蓋對映中，原像 是 的一個離散集，並且 的基數（可能是無限的）與 的選擇無關。

例如，對映 ，作為對映 ，是一個覆蓋對映，其中 總是包含兩個點。，其中 是覆蓋對映的另一個例子，實際上是萬有覆蓋 環面 。如果 是環面的任何覆蓋，則存在一個覆蓋 ，使得 透過 分解，即 。

相比之下， 作為對映 （包含點 ）不是真正的覆蓋對映，而是“分支覆蓋”。