theorem Th28: :: C0SP2:28

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