theorem :: REALALG2:71

for R being preordered Ring
for P being Preordering of R
for a being Element of R holds abs (P,a) = abs (P,(- a))