外測度
μ-可測集合の全体はσ-代数を成し、可測集合上に制限された μ は可算加法的完備測度となる。