(X, S, μ) を μ(X) < ∞ であるような測度空間とする。
B が S の元からなる互いに共通部分を持たない集合の集合で、
B の任意の元 A に対して、 μ(A) > 0 が 成り立つとするならば、
B は高々可算な集合であることを証明せよ。