precompact

verb

Etymology

From pre- + compact.

  1. derived from *peh₂ǵ-
  2. derived from compāctus
  3. derived from compact
  4. prefixed as precompact — “pre + compact

Definitions

  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.
  2. Forming a relatively compact subspace

    Forming a relatively compact subspace; Having a closure that is compact.

  3. Totally bounded

    Totally bounded; Having a cover that consists of finitely many finite subsets.

The neighborhood

Vish — recursive loop

No curated loop yet for precompact. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA