precompact

Verb

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

Adjective

 * 1)  Forming a ; Having a closure that is compact.
 * 2)  ; Having a cover that consists of finitely many finite subsets.