Realcompactness and realcompactification Fairly general properties mathematics