let S be Subset of R; :: thesis: S is X -valued
A: rng R c= X by Def19;
rng S c= rng R by Th25;
hence rng S c= X by A, XBOOLE_1:1; :: according to RELAT_1:def 19 :: thesis: verum