ルベーグ測度
formula_70 denotes the Lebesgue measure.