1: \begin{definition}

2: \label{D_min_equiv_def}

3: The equivalence relation $E_{\bar{\mathfrak e}}$ satisfying the assumptions of Theorem \ref{T_minimal_equival} is called the \emph{minimal equivalence relation} in $\mathbf E$ w.r.t. $\mu$.

4: \end{definition}

5: