paracompact cocompact precompact pseudocompact supercompact paracomplex quasicompact metacompact cofinite paracanonical