Kuratowski’s lemma

Any chain in an ordered set is contained in a maximal chain.

This propositionPlanetmathPlanetmath is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to the axiom of choiceMathworldPlanetmath.

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