precompact
Meaning
- verb To compact partially in preparation for full compaction or extrusion.
- adjective Forming a relatively compact subspace; Having a closure that is compact.
- adjective Totally bounded; Having a cover that consists of finitely many finite subsets.
Similar words
recompact compress pack compact presspack pack out compactify impact cultipack collapse
Save “precompact” to learn later