Diagonal intersection
= Diagonal intersection
{title2=$\triangle_{\alpha<\delta}C_\alpha$}
For $\langle C_\alpha:\alpha<\delta\rangle$, its diagonal intersection consists of $\beta<\delta$ belonging to every $C_\alpha$ with $\alpha<\beta$. For club sets on a regular uncountable cardinal, this is a club.