theorem Th52: :: ORDERS_5:43

for A being set
for D being a_partition of A
for X being Element of D
for f being Function of A,REAL holds eqSupport (f,X) = eqSupport ((- f),X)