 Solution

Use standard notation for forcing: $q\le p$ means that $q$ is stronger than $p$. A closed forcing order is $\lambda$-closed when every decreasing sequence $⟨p_{\xi }:\xi <\delta ⟩$ with $\delta <\lambda$ has a common lower bound:The chain condition for forcing isAn antichain in a forcing order consists of pairwise incompatible forcing conditions; incompatibility means having no common stronger extension. In particular, the ${\aleph }_1$-chain condition is the countable chain condition for forcing. These properties and their sequences or antichains are computed inside the ground model $M$.