theorem :: CC0SP2:36

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