English Explanatory Dictionary

precompact

English dictionary entry

Meanings

verb
  1. To compact partially in preparation for full compaction or extrusion.
adj
  1. Forming a relatively compact subspace; Having a closure that is compact.
  2. Totally bounded; Having a cover that consists of finitely many finite subsets.

Word forms

precompact precompacts precompacting precompacted

Etymology

From pre- + compact.

Derived words

precompactness
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary