Regressive function
= Regressive function
{title2=$f(\alpha)<\alpha$}
A function on a set of ordinals with $f(\alpha)<\alpha$ at every nonzero point of its domain. On a stationary subset of a regular uncountable cardinal, <Fodor lemma> makes it constant on a stationary subset.