Cover

A family of subsets whose union contains a given set.
Cover

A cover of a subset AXA\subseteq X is a family {Ui}iI\{U_i\}_{i\in I} of subsets of XX such that

AiIUi. A \subseteq \bigcup_{i\in I} U_i.

Covers are often presented as an , and the condition above says that the of the family contains AA. In topology, one frequently restricts to an .

Examples:

  • In R\mathbb{R}, the family {(n1,n+1)}nZ\{(n-1,n+1)\}_{n\in\mathbb{Z}} covers R\mathbb{R}.
  • For A=[0,1]RA=[0,1]\subseteq \mathbb{R}, the sets U1=(1,1/2)U_1=(-1,1/2) and U2=(0,2)U_2=(0,2) form a cover of AA.