precompact

Short definition from Wiktionary

Verb

1. 1
   To compact partially in preparation for full compaction or extrusion.

Adjective

1. 1
   Forming a relatively compact subspace; Having a closure that is compact.
2. 2
   Totally bounded; Having a cover that consists of finitely many finite subsets.