Source: wikibot/fodor-s-lemma

= Fodor's lemma
{wiki=Fodor's_lemma}

Fodor's lemma is a result in set theory that is often used in the context of infinite combinatorics and descriptive set theory. It is named after the Hungarian mathematician Géza Fodor, who introduced it. **Statement of Fodor's Lemma:** Let \\( X \\) be a set and let \\( \\kappa \\) be an infinite cardinal.