15/05/06 12:13:21.05 q/rFEr6e.net
＞PAUL B. YALE，Pomona College P139より
＞ZORN'S LEMMA. If F(ヒゲ) is a nonempty family of subsets of a given set B and F(ヒゲ) has
＞the chain property, then there is at least one set, M, in F(ヒゲ) such that A ∈ F(ヒゲ) and M⊆A
＞implies M = A .
＞ここは、ZORN'S LEMMAの表現がちょっと異なるね
Zornの補題の適用対象に合わせているだけだろ。
集合Bの部分集合の空でない族Fに入れる順序を集合間の包含関係としている。
Fの全ての鎖の上界がF内に存在することを F has the chain property で保証している。