for X, A being set
for f being Function of X,REAL holds (- f) .: A = -- (f .: A)