S^＊是使μ^＊成为测度的最大的σ—代数

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