Definition:Cover of Set

Let $$S$$ be a set.

Then a cover for $$S$$ is a set $$\mathcal{U}$$ of sets such that $$S \subseteq U \bigcup_{U \in \mathcal{U}} U$$.

Finite Cover
A cover $$\mathcal{U}$$ is finite iff there are only finitely many sets in $$\mathcal{U}$$.