1: \begin{definition} Let  $( \bigM_1,\rho_1)$ and $( \bigM_2,\rho_2)$ be two compact metric spaces. The Gromov-Hausdorff distance $\dgh\left( ( \bigM_1,\rho_1) \, , \, ( \bigM_2,\rho_2) \right)$ is the infimum of the real numbers $r \geq 0$ such that there exist a metric space $( \bigM,\rho)$ and subspaces $C_1$ and $C_2$ in $\mathcal K(\bigM)$ which are isometric to

2: $\bigM_1 $  and $\bigM_2 $ respectively and such that $\dhaus(C_1,C_2) < r$.

3: The Gromov-Hausdorff distance $\dgh$ defines a metric on the space $\mathcal K$ of isometry classes of compact metric spaces (see Theorem 7.3.30 in \cite{burago2001course}). 

4: %For any $r > 0$, we have $\dgh\left( ( \bigM_1,\rho_1) \, ,

5: %\, (

6: %\bigM_2,\rho_2) \right) < r$ if and only if there exist a metric space $( \bigM,\rho)$ and subspaces $C_1$ and $C_2$ in $\mathcal %K(\bigM)$ which are isometric to

7: %$\bigM_1 $  and $\bigM_2 $ respectively and such that $\dhaus(C_1,C_2) < r$.

8: \end{definition}

9: