paracompactifying family

Мат. паракомпактифицирующее семейство