for X being non empty TopSpace
for a being Real
for f being RealMap of X holds support (a (#) f) c= support f