Chain condition for forcing (source code)

= Chain condition for forcing
{title2=$\kappa$-cc}

For a regular uncountable <cardinal number> $\kappa$, a <forcing> order has the $\kappa$-chain condition when every antichain has cardinality below $\kappa$. It preserves cardinals and cofinalities at least $\kappa$.