theorem :: ORDERS_5:44

for A being Preorder
for X being Element of (QuotientOrder A)
for f being Function of A,REAL holds eqSupport (f,X) = eqSupport ((- f),X)