theorem Th54: :: C0SP3:54

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