Def pg. 333
The construction of is in open cover
If is a sub-collection of such that it’s union also contain origin set , then is called subcover of . If has consist of finitely many set, we can call a finite subcover of .
Def 21.4
A subcover of open cover is an open cover