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