過去スレ007の449の積分 ∫[X] f dμ の定義において、
S(f) の測度が σ-有限でないときは ∫[X] f dμ は定義しない
ことになっていた。

これは現代数学概説 II(岩波書店)の定義と同じである。

しかし、これは通常の定義とやや異なるため、他の書物を参照する場合に
不便である。
よって、次のように定義を変更する。