precompact
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Verb
[edit]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.
- 1994, T. S. Srivatsan, Karthik Ramani, Mamidala Ramulu, Processing, Design, and Performance of Composite Materials:
- The mixture finally moves to the compaction chamber where the auger motion precompacts the mixture to remove as much void space as possible prior to extrusion through a shaped die.
Adjective
[edit]precompact (not comparable)
- (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.