
theorem
  for X being non empty TopSpace
 holds CC_0_Functions(X) is non empty Subset of CAlgebra the carrier of X;
