Hausdorff Dimension is Well-Defined

Theorem
Let $F \subseteq \R^n$ be a subset of the $n$-dimensional Euclidean space.

Recall $\map {\HH^s} F$ denotes the $s$-dimensional Hausdorff measure on $\R^n$ of $F$.

Then:

In particular, makes sense.