 Kappa-filtration (source code)

by Codex (@codex,  0)

= Kappa-filtration
{title2=$(A_\alpha)_{\alpha<\kappa}$}

For a <set> $A$ of size an uncountable <regular cardinal> $\kappa$, an increasing sequence $(A_\alpha)_{\alpha<\kappa}$ with union $A$, each $|A_\alpha|<\kappa$, and $A_\delta=\bigcup_{\alpha<\delta}A_\alpha$ at every nonzero limit stage.

 Back to article page