for A being Preorder
for f being finite-support Function of A,REAL holds eqSumOf (- f) = - (eqSumOf f)