theorem :: C0SP2:26

for X being non empty TopSpace holds C_0_Functions X is non empty Subset of (RAlgebra the carrier of X) ;