覆蓋_(拓撲學)

在數學中 ， 若 是一個集合類 中並集的子集 ， 則集合類 是集合 的覆蓋 。 用符號來說 ， 如果 是 的子集索引族 ， 則 是如下條件下的覆蓋 （ 定義可參見: Gamelin 與 Greene 第19頁或 Kelly 第49頁 ） 。 更一般的說 ， 如果 是 的子集 ， 而 是 的子集 的蒐集 ， 它的並集包含 ， 則 被稱爲是 的覆蓋 。 也就是 是 的覆蓋如果 。