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

A⊆⋃i∈IUi.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 {(n−1,n+1)}n∈Z\{(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.