Difference between revisions of "Template:AotD"
(new otd) |
(header) |
||
Line 1: | Line 1: | ||
<blockquote style="display:table;background:#eeeeee;padding:10px;" class="toccolours"> | <blockquote style="display:table;background:#eeeeee;padding:10px;" class="toccolours"> | ||
− | ==[[Zorn's Lemma]]== | + | ===[[Zorn's Lemma]]=== |
'''Zorn's Lemma''' is a [[set theory | set theoretic]] result which is equivalent to the [[Axiom of Choice]]. | '''Zorn's Lemma''' is a [[set theory | set theoretic]] result which is equivalent to the [[Axiom of Choice]]. | ||
Revision as of 22:00, 19 December 2007
Zorn's Lemma
Zorn's Lemma is a set theoretic result which is equivalent to the Axiom of Choice.
Let be a partially ordered set.
We say that is inductively ordered if every totally ordered subset of has an upper bound, i.e., an element such that for all , . We say that is strictly inductively ordered if every totally ordered subset of has a least upper bound, i.e., an upper bound so that if is an upper bound of , then .
An element is maximal if the relation implies . (Note that a set may have several maximal... [more]