http://www.springerlink.com/content/h757506v44002719/ Zorn の補題 任意の鎖（全順序部分集合）が上界をもつような順序集合は極大元をもつ． Zornの補題は，真の上界をもたない鎖の存在から従う．そのような鎖の上界は極大元になるからである． 順序集合 …