A1: rng S c= REAL by Def3;
rng (R * S) c= rng S by RELAT_1:45;
hence rng (R * S) c= REAL by A1, XBOOLE_1:1; :: according to VALUED_0:def 3 :: thesis: verum