realcompactification

Noun

 * 1) The compactification to a realcompact space.