compactness compressiveness precompactness cocompactness incompactness compactibility paracompactness realcompactness condensedness compressibleness