Lebesgue measure
formula_70 denotes the Lebesgue measure.