| dbpprop:abstract
|
- In mathematics, particularly in set theory, Fodor's lemma states the following: If <math>\kappa</math> is a regular, uncountable cardinal, <math>S</math> is a stationary subset of <math>\kappa</math>, and <math>f:S\rightarrow\kappa</math> is regressive (that is, <math>f<\alpha</math> for any <math>\alpha\in S</math>, <math>\alpha\neq 0</math>) then there is some <math>\gamma</math> and some stationary <math>S_0\subseteq S</math> such that <math>f(\alpha)=\gamma</math> for any <math>\alpha\in S_0</math>. In modern parlance, the nonstationary ideal is normal.
|
![[RDF Data]](/statics/sw-cube.png)
