Hausdorff dimension/Definition

An extended non-negative real number associated to any metric space.