This lemma shows that once a [finite subcover](/page/Finite%20Subcover) has been selected, adding more sets from the original cover still gives a finite subcover as long as only finitely many are added. It is a bookkeeping tool for comparing different finite choices inside the same cover.