for A being Order
for f1, f2 being finite-support Function of A,REAL st eqSumOf f1 = eqSumOf f2 holds
f1 = f2