theorem Th38: :: CC0SP2:38

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