for X being non empty TopSpace holds C_0_Functions X is linearly-closed