Полный англо-русский словарь
Кокомпактный regularly cocompact space — регулярно кокомпактное пространство — cocompact space