A Hausdorff gauge is a continuous nondecreasing function with
and
for
. It replaces the power of the diameter
in the definition of Hausdorff measure:
where covers are countable. The choice gives the diameter convention
for
-dimensional
Hausdorff measure. A gauge is exact for a set when that set has positive finite gauge measure.