勒贝格测度
formula_70 denotes the Lebesgue measure.