for A being set
for f being Function of A,COMPLEX holds support f = support (- f)