  In this paper, we introduce the countable chain condition for C*-algebras and
study its fundamental properties. We show independence from ZFC of the
statement that this condition is preserved under the tensor products of
C*-algebras.
