for R being non degenerated preordered Ring
for P being Preordering of R
for a being Element of R holds
( abs (P,a) = 0. R iff a = 0. R )