Let \(\mathcal{U}\) be a cover of a topological space \(X\). A subcollection \(\mathcal{U}' \subseteq \mathcal{U}\) is called subcover.