pseudometrizable precompact

Мат. псевдометризуемый предкомпакт