Пусть

-- компактное метрическое пространство. Обозначим через

множество всех замкнутых подмножеств пространства

с метрикой Хаусдорфа (пустое множество считаем изолированным элементом в

). Для некоторого множества

обозначим

.
Вопрос: если

--

-множество в

, то будет ли

борелевским множеством в

?