for R being preordered Ring
for P being Preordering of R holds (- P) /\ (SQ R) = {(0. R)}