Hamilton–Jacobi diffieties

Diffieties formalize geometrically the concept of differential equations. We introduce and study Hamilton–Jacobi diffieties. They are finite dimensional subdiffieties of a given diffiety and appear to play a special role in the field theoretic version of the geometric Hamilton–Jacobi theory.