= Stationarity in a limit ordinal
{title2=$S\cap C\ne\varnothing\text{ for every club }C\subseteq\delta$}
For any nonzero <limit ordinal> $\delta$, a <club set> is an unbounded <subset> closed under limit points below $\delta$. A <subset> is stationary if it meets every such <club set>. Statements concerning the completeness of the <club filter> or <Fodor lemma> require regular uncountable height; they should not be transferred to arbitrary singular or countable <limit ordinals> without checking their hypotheses.
Back to article page
