1: \begin{definition}[Strong Persistency]

2: A labeling $x^* \in X_{A}$ is called {\em strongly persistent} on $A$, if from

3: \begin{equation}

4: x^0 \in \argmin_{x \in X_A} \hat{E}_{A,x^0}(x)\,,

5: \end{equation}

6: with $\hat{E}_{A,x^*}$ as in~\eqref{eq:InnerFunctional} follows $x^* = x^0$, i.e. $x^*$ is the \emph{unique} labeling on $A$ such that 

7: $x^* \in \argmin_{x \in X_A} \hat{E}_{A,x^*}(x)$.

8: %fulfilling the conditions of Theorem~\ref{thm:PersistencyCriterion}.

9: \end{definition}

10: