cocompact quasicompact realcompact quasi-compact paracompact locally compact precompact pseudorational pseudoholomorphic pseudocollarable