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