1: \begin{definition}[Pointed measured Gromov (pmG) convergence]\label{def:pGw}

2:   Let $\cX_n=[X_n,\sfd_n,\mm_n,\bar x_n]$, $n\in  \bar\N$. We say that the sequence $n\mapsto\cX_n$ converges to $\cX_\infty$ in the pointed measured Gromov  sense (pmG-sense, for short) provided any of the 4 equivalent statements in Theorem \ref{thm:main_convergence} holds.

3: \end{definition}

4: