for D being non empty set
for Y being RealNormSpace
for H being Functional_Sequence of D, the carrier of Y holds - H = (- 1) (#) H