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