Fodor’s lemmaIf κ is a regular, uncountable cardinal, S is a stationary subset of κ, and f:κ→κ is regressive on S (that is, f(α)<α for any α∈S) then there is some γ and some stationary S0⊆S such that f(α)=γ for any α∈S0.