for X being non empty TopSpace
for W being non empty Subset of (RAlgebra the carrier of X) st W = C_0_Functions X holds
W is additively-linearly-closed