precompact pseudocompact quasicompact paracompactifying locally compact supercompact quasi-compact cocommutative cocontinuous amenable