Definition 3.23 (Countable chain condition). We say $\mathbb{P}$ has the countable chain condition (c.c.c.) if every antichain (note the anti!) in $\mathbb{P}$ is countable.