for X being non empty TopSpace
for W being non empty Subset of (CAlgebra the carrier of X) st W = CC_0_Functions X holds
W is Cadditively-linearly-closed