\begin{definition}[Definition:Countable Chain Condition]
Let $T = \struct {S, \tau}$ be a topological space.
$T$ satisfies the '''countable chain condition''' {{iff}} every disjoint set of open sets of $T$ is countable.
\end{definition}