Es fácil ver que formula_21 es una medida exterior, así que, por el Teorema de Carathéodory, la restricción de formula_21 a los conjuntos formula_21-medibles es de hecho una medida, llamada medida s-dimensional de Hausdorff.