realcompactification (English, noun)
expansion: realcompactification (plural realcompactifications)
Senses:
glosses: The compactification to a realcompact space.
Forms:
form: realcompactifications
tags: plural