Дан случайный процесс , заданный на фильтрованном вероятностном пространстве с потоком .
Пусть дано стохастическое дифференциальное уравнение , или, в интегральной форме,
-
где — броуновское движение.
Пусть теперь — заданная на непрерывная функция из класса , то есть имеющая производные
При этих предположениях выполняется
-
Говоря более строго, при каждом для справедлива следующая формула Ито:
-