precompactness (English, noun)
expansion: precompactness (uncountable)
Senses:
glosses: The quality of being precompact.
tags: uncountable
Forms: