Compactifications,real-compactification and subsets C(X)
Compactifications realcompactifications and subsets of C_X_