let S be Subset of R; :: thesis: S is X -valued
A1: rng R c= X by Def17;
rng S c= rng R by XTUPLE_0:9;
hence rng S c= X by A1; :: according to RELAT_1:def 19 :: thesis: verum