Розглянуто питання розрахунку підпростору рішень простору спостережень при синтезі гарантованих управлінь у топологічному просторі пошуку. Запропоновано логіко-математичну модель опису підпростору рішень для пошукової системи.