A finite subcover is a subcover with finitely many members, including possibly none when is the empty set. Requiring a finite subcover for every open cover is the definition of compactness.
New to topics? Read the docs here!
New to topics? Read the docs here!