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.