Рассмотрена задача об оценивании случайного множества, представляющего собой область достижимости дифференциального уравнения (ДУ) Ито по начальным данным. Доказано марковское свойство области достижимости в пространстве замкнутых множеств. Для приближенных вычислений случайное начальное множество ДУ аппроксимируется конечным множеством на целочисленной многомерной сетке, а ДУ заменяется многошаговой цепью Маркова. Рассмотрены примеры.