compactedness noncompactness compactness precompactness compactibility incompressibleness cocompactness realcompactness incompletableness metacompactness