theorem Th39: :: CC0SP2:39

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