1: \begin{definition}

2: A section $\overline{X}$ of $\overline{\tau}_{Q}$ satisfying conditions of the Theorem \ref{SecondThofred} will be called solution for the reduced constrained Hamilton-Jacobi problem given by the constraint manifold $N \subseteq TQ$, the regular Lagrangian $L$ and the action of the group $G$ on $Q$.

3: \end{definition}

4: