Statements (10)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical theorem
|
| gptkbp:appliesTo |
partially ordered sets
|
| https://www.w3.org/2000/01/rdf-schema#label |
Zorn's Theorem
|
| gptkbp:isEquippedWith |
AC_(Axiom_of_Choice)
|
| gptkbp:isNamedAfter |
gptkb:Max_Zorn
|
| gptkbp:isRelatedTo |
gptkb:Zorn's_Lemma
|
| gptkbp:isUsedIn |
algebra
set theory topology |
| gptkbp:state |
Every non-empty partially ordered set in which every chain has an upper bound contains at least one maximal element.
|