Definition:Subcover/Finite

Definition
Let $S$ be a set.

Let $\UU$ be a cover for $S$.

A finite subcover of $\UU$ for $S$ is a subcover $\VV \subseteq \UU$ which is finite.