for D being non empty set
for H being Functional_Sequence of D,REAL holds - H = (- 1) (#) H