R /\ S c= R by XBOOLE_1:17;
then A1: rng (R /\ S) c= rng R by RELAT_1:11;
rng R c= NAT by Def4;
hence rng (R /\ S) c= NAT by A1; :: according to VALUED_0:def 6 :: thesis: verum