Club sequence
= Club sequence
{title2=$\langle C_\delta\rangle$}
A sequence $\langle C_\delta\rangle$ in which $C_\delta$ is closed and unbounded in $\delta$. At a successor ordinal its predecessor is a club singleton. Such sequences define <minimal walks along a club sequence>.