ルベーグ測度
where formula_8 is the Lebesgue measure.