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

2: Let $m\in \mathbb N\setminus\{0\}$, $(X,d)$ be a metric space and $\mathcal C = \{\emptyset\} \cup \{B(x,r) : x\in X, r>0\}$. Define the premeasure $\rho_m:\mathcal C \to \mathbb R$ by 

3: \[\rho_m(\emptyset):=0 \quad  \text{and} \quad  \rho_m(B(x,r)):=r^m.\]

4: The measure $\lambda$ obtained from Theorem \ref{theo:CaraMethod}, applied using the premeasure $\rho_m$, will be called the $m$-dimensional Hausdorff measure on $X$ generated by $d$. When $m$ is implicit we will refer to this measure simply as the Hausdorff measure on $X$.

5: \end{definition}

6: