Ну, если это считать формулой, тогда конечно.
(Наверное, в строгом смысле это так и есть, но у меня как-то язык не поворачивается называть формулой такой алгоритм, который начинается со слов "сумма по таким-то специальным разбиениям...")
Вполне себе стандартная вещь в комбинаторике. Например,
полиномы Белла определяются через аналогичные суммы.