finite subcover

  1. REDIRECT Compact space