for R being preordered Ring
for P being Preordering of R
for a being b₂ -ordered Element of R holds
( not a is P -negative iff 0. R <= P,a )