View source for 覆蓋

{{當代數學}}

'''覆蓋'''者，含于其並也。

== 定義 ==

集甲（A）之覆蓋（C）者，甲含于其屬之[[並集|並]]也（<math>A\subseteq \cup_{B\in C}B</math>）。若覆蓋之物皆[[開集|開]]，曰'''開覆蓋'''。

覆蓋之子集為覆蓋者，曰'''子覆蓋'''。

覆蓋之[[基數]]為有限者，曰'''有限覆蓋'''。

{{拓撲術語}}