# Definition:Subcover/Countable

Let $S$ be a set.
Let $\mathcal U$ be a cover for $S$.
A countable subcover of $\mathcal U$ for $S$ is a subcover $\mathcal V \subseteq \mathcal U$ which is countable.