theorem Th23: :: C0SP2:23

for X being non empty TopSpace
for f, g being RealMap of X holds support (f + g) c= (support f) \/ (support g)