= Solution
For a nonzero <limit ordinal> $\delta$, a <subset> $C\subseteq\delta$ is a <club set> if it is unbounded in $\delta$ and contains every one of its limit points below $\delta$. A <subset> $S\subseteq\delta$ is stationary if
$$
\boxed{S\cap C\ne\varnothing\quad\text{for every club }C\subseteq\delta.}
$$
This defines <stationarity in a limit ordinal>. The regular uncountable case is the usual <stationary set> setting; results such as <Fodor lemma> require that additional hypothesis, rather than an arbitrary <limit ordinal>.
Back to article page
