勒贝格测度
formula_4 is the Lebesgue measure of sets.