König's lemma
This is the current revision of König's lemma as edited by EdBot (talk | contribs) at 04:03, August 22, 2010. This URL is a permanent link to this version of this page.
König's lemma (also spelled Koenig's lemma to avoid the trema) is a result in Zermelo-Fraenkel Set Theory and Graph Theory. It states that an infinite tree with finitely many branching degrees must have an infinite branch. Set theorists consider this to be an important transfinite generalization of the Pigeonhole Principle.