>>23
問題の誤字で
\mathfrak{M} = { M | ∀λ(λ∈Λ) [M ⊂ O_λ] }
ではなくて
\mathfrak{M} = { M | ∀λ(λ∈Λ) [M \not⊂ O_λ]
なのでは?