 Club sequence

A sequence $⟨C_{\delta }⟩$ 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.