Lebesgue measure
where formula_8 is the Lebesgue measure.