precompact

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.

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

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