A stronger concept than total boundness

53 Views Asked by At

A space, every proper principal filter of which is refined by a Cauchy filter, is called totally bounded.

Is there a term (and theory) about a stronger concept: a space every proper filter of which is refined by a Cauchy filter?

1

There are 1 best solutions below

1
On

I found, it is called precompact: http://ncatlab.org/nlab/show/precompact+space