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