拟紧空间

quasi-compact space