Finite subcover

Redirect to:

• Compact space