Ｆを有限集合体としてＭ(Ｆ)をＦを含む最小の単調族とする。さらに
Ｍ^* = {Ｂ∈Ｍ(Ｆ)；∀Ａ∈Ｍ(Ｆ)に対してＡ∪Ｂ∈Ｍ(Ｆ)｝
とするときＭ^*は単調族であることを示してください。誰か！！