设μ为σ环S的测度,对所有E∈S,S中零测集的子集N,所有E△N组成集合 。则 为σ环,定义集函数 为 ,则 为 上的完备测度, 称为μ的完备化。[2]
设(S,𝓐,μ)为测度空间, 为S的含𝓐的σ代数,且对∀ , 。则 为(S,𝓐,μ)的完备化。[3]
1993年,经全国科学技术名词审定委员会审定发布。[1]