S~*是使μ~*成为测度的最大的σ-代数

本文提出了“对于由半环上的测度μ引出的外测度μ，不存在比Ｓ更大的σ－代数，使μ在其上为测度”这一结论，进而描述了Ｓ“最大”的意义。