Definition:Subcover/Finite

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.

Let $\mathcal U$ be a cover for $S$.


A finite subcover of $\mathcal U$ for $S$ is a subcover $\mathcal V \subseteq \mathcal U$ which is finite.