compactedness