compactedness compactness incompactness paracompactness realcompactness cocompactness precomputability metacompactness compressiveness noncompactness