precompact (suomeksi)

Määritelmät:

To compact partially in preparation for full compaction or extrusion.
(lb, en, topology) Forming a (w, relatively compact subspace); Having a closure that is compact.
(lb, en, topology) (w, Totally bounded set, Totally bounded); Having a cover that consists of finitely many finite subsets.