1. precompact - Adjective
2. precompact - Verb
precompact (third-person singular simple present precompacts, present participle precompacting, simple past and past participle precompacted)
To compact partially in preparation for full compaction or extrusion.
(topology) Forming a relatively compact subspace; Having a closure that is compact.
(topology) Totally bounded; Having a cover that consists of finitely many finite subsets.
Source: en.wiktionary.org