ＦをΩ上の加法族とする。

ＭがΩ上の単調族であるとは、Ａi∈Ｍで
Ａ1⊃Ａ2⊃…またはＡ1⊂Ａ2…
であるとき、
lim[n→∞]Ａn∈Ｍとなることを言う。

ＭはＦを含む最小の単調族とする。

(1)
Ａ∈Ｍに対して
ｍA＝｛Ｂ∈Ｍ｜Ａ∪Ｂ∈Ｍ｝はＦを含む単調族である事を示せ。

(2)
ＭはＦを含む最小のσ-加法族であることを示せ。


>>92の訂正です。

よろしくお願いします。