О верхних гранях топологий

Топология пространства $(X,\tau)$, гомеоморфного борелевскому не $\sigma$-компактному сепарабельному множеству, равна верхней грани двух топологий гильбертова куба. В частности, $(X,\tau)$ уплотняется на бикомпакт. Топология полного нульмерного метрического пространства является верхней гранью двух бикомпактных топологий. В частности, она мажорирует бикомпактную хаусдорфову топологию. Библ. 9 назв.