for R being preordered Ring
for P being Preordering of R
for S being Subring of R holds P /\ the carrier of S is Preordering of S