1: \begin{definition}

2: A section $X_{\mu}$ of $\tau_{\mu}$ satisfying conditions of the Theorem \ref{Hor234sd} will be called $\mu-$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: