Countable chain condition for forcing (source code)

= Countable chain condition for forcing
{title2=ccc}
{wiki}

A forcing order has the countable chain condition when every <antichain in a forcing order> is <countable set>[countable]. Such forcing preserves cardinals and cofinalities at least $\aleph_1$.