1: \begin{definition}\label{defi:dualsol}

2: We say that $z$ is the \textsf{dual solution} of problem \eqref{intro:eq:kol1} -- \eqref{intro:eq:kol2} when we are under the assumptions of Theorem~\ref{thm:duaz}, $z$ being the solution given by this theorem.

3: \end{definition}

4: