“…Для каждого сечения ϕ ∈ F(π ∞ ) определен морфизм алгебр (подстановка) A(L × V) → A(L), f → f | ϕ , где (f | ϕ )(m) = f (m, ϕ(m)) для всех m ∈ L. Имеет место правило полного сдвига: для данного сечения ϕ = (φ k ) ∈ F(π ∞ ) равенство T n (f )| ϕ = T n (f | ϕ ) справедливо для всех n ∈ L и f ∈ A(L × V) тогда и только тогда, когда ϕ = j(φ), где φ = φ 0 . В приложениях (групповой анализ разностных и дифференциально-разностных уравнений, разностное вариационное исчисление, см., например, работы [4]- [7]) обычно используется подалгебра алгебры A(L × V), состоящая из всех функций f = f (m, u) ∈ A(L × V), при каждом фиксированном m ∈ L гладко зависящих (т.е. класса C ∞ ) лишь от конечного числа разностных переменных u = (u k ) (подробнее см., например, работу [4]).…”