quasi-compactness

拟紧性