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