http://www.springerlink.com/content/h757506v44002719/ Zorn の補題：任意の鎖（全順序部分集合）が上界をもつような順序集合は極大元をもつ． 順序集合 の部分集合 に対し， とおく． Zorn の補題は となる鎖 の存在よりしたがう． の上界より真に大きい…