precompact
/P R AH0 K AA1 M P AE0 K T/verb
- 1
To compact partially in preparation for full compaction or extrusion.
adjective
- 1
(topology) Forming a relatively compact subspace; Having a closure that is compact.
- 2
(topology) Totally bounded; Having a cover that consists of finitely many finite subsets.
Translate “precompact” into another language
Choose a language below to open the translator with English selected as the source language.