Countable chain condition for forcing (ccc)

A forcing order has the countable chain condition when every antichain in a forcing order is countable. Such forcing preserves cardinals and cofinalities at least ${\aleph }_1$.

Every uncountable subset of a Knaster forcing has an uncountable pairwise compatible subset. The property implies the countable chain condition for forcing. Finite Cohen forcing has this property by the delta-system lemma and agreement on the finite root. A Knaster forcing times any CCC forcing is CCC

If $T$ is a normal splitting Suslin tree and $P$ is Knaster, then $P\times T$ is CCC, so $P$ forces that the ground tree is still CCC Countable levels and splitting persist. A new cofinal branch would give an uncountable antichain by splitting, so none is added. This permits adding many Cohen reals while retaining a Suslin tree, and distinguishes Knaster preservation from an unjustified preservation claim for every CCC forcing.