EGAVE
realcompactification
Meaning
noun
The compactification to a realcompact space.
Save “realcompactification” to learn later