覆蓋

覆蓋者，含于其並也。

定義

集甲（A）之覆蓋（C）者，甲含于其屬之並也（$A\subseteq {\cup }_{B\in C}B$）。若覆蓋之物皆開，曰開覆蓋。

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

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