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?
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?
Copyright © 2021 JogjaFile Inc.
I found, it is called precompact: http://ncatlab.org/nlab/show/precompact+space