theorem :: C0SP2:25

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