:: deftheorem defn defines -negative REALALG2:def 9 :
for R being preordered Ring
for P being Preordering of R
for a being Element of R holds
( a is P -negative iff a in (- P) \ {(0. R)} );