compactnesses