Finite subcover
= Finite subcover
{title2=$K\subseteq U_{i_1}\cup\cdots\cup U_{i_m}$}
A <finite subcover> is a <subcover> with finitely many members, including possibly none when $K$ is the <empty set>. Requiring a <finite subcover> for every <open cover> is the definition of <compactness>.