precompact

verb, adj — 3 senses

precompact

verb

Etymology From pre- + compact.

1

To compact partially in preparation for full compaction or extrusion.

  • 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.1994, T. S. Srivatsan, Karthik Ramani, Mamidala Ramulu, Processing, Design, and Performance of Composite Materials:

precompact

adj

Etymology From pre- + compact.

1

Mathematics, Sciences, Topology Forming a relatively compact subspace; Having a closure that is compact.

2

Mathematics, Sciences, Topology Totally bounded; Having a cover that consists of finitely many finite subsets.

Derived terms
precompactness

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.