▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
Set cover
Formulation 0
Let $X$ be a D11: Set.
A D11: Set $\mathcal{C}$ is a cover for $X$ if and only if \begin{equation} X \subseteq \cup \mathcal{C} \end{equation}
Formulation 1
Let $X$ be a D11: Set.
A D11: Set $\mathcal{C}$ is a cover for $X$ if and only if \begin{equation} X \subseteq \bigcup_{C \in \mathcal{C}} C \end{equation}
Child definitions
» D441: Open set cover
» D75: Set subcover