1: \begin{definition}

2: A section $\overline{\sigma}$ of $\overline{\pi}_{Q}$ satisfying conditions of the Theorem \ref{ThirdThofred} will be called solution for the reduced constrained Hamilton-Jacobi problem given by the constraint manifold $M \subseteq T^{*}Q$, the Hamiltonian $H$ and the action of the group $G$ on $Q$.

3: \end{definition}

4: