Kuratowski’s lemma
Any chain in an ordered set is contained in a maximal chain.
This proposition is equivalent to the axiom of choice.
Title | Kuratowski’s lemma |
Canonical name | KuratowskisLemma |
Date of creation | 2013-03-22 13:13:39 |
Last modified on | 2013-03-22 13:13:39 |
Owner | Koro (127) |
Last modified by | Koro (127) |
Numerical id | 6 |
Author | Koro (127) |
Entry type | Theorem |
Classification | msc 03E25 |
Related topic | AxiomOfChoice |
Related topic | TukeysLemma |
Related topic | ZermelosWellOrderingTheorem |
Related topic | ZornsLemma |
Related topic | ZermelosPostulate |
Related topic | EveryVectorSpaceHasABasis |