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.