个测度空间("E","X",μ)出发，formula_8是一个集合，formula_9是由formula_8的子集构成的σ代数，μ是定义在formula_9上的测度。比如formula_8可以是一个formula_15维欧几里得空间R或者它的一个勒贝格可测子集。则formula_9是所有formula_8的勒贝格可测子集构成的σ代数，μ则是勒贝格测度。在讨论概率论时，μ是概率空间formula_8中的概率测度，满足μ(formula_8)=1。在勒贝格理论中只有对所谓的可测函数才能够进行积分。一个函