ルベーグ測度
formula_4 is the Lebesgue measure of sets.