compactification realcompactification desuperization concavification convexification supercompactness pseudocompactness compactum deregression compact space