AI-created image
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:equivalentTo |
gptkb:Axiom_of_Choice
gptkb:Zorn's_Lemma |
| gptkbp:field |
gptkb:set_theory
|
| gptkbp:implies |
gptkb:Axiom_of_Choice
gptkb:Zorn's_Lemma |
| gptkbp:namedAfter |
gptkb:John_Tukey
|
| gptkbp:state |
Every nonempty collection of finite character has a maximal element under inclusion
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:mathematics gptkb:topology |
| gptkbp:bfsParent |
gptkb:John_Tukey
gptkb:John_W._Tukey |
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Tukey's lemma
|