Finite Subcover

Finite subcover

A finite subcover is a finite subcollection {Uλ1,Uλ2,…,Uλn} such that:

A⊆⋃i=1nUλi

See also Open Cover.

For examples see Open Cover#Example.