semi-compactness