Chain condition for forcing (source code)

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

A forcing order has the $\kappa$-chain condition when every antichain has cardinality below $\kappa$. It preserves cardinals and cofinalities at least $\kappa$.