( rng T c= [#] W & T .: X c= rng T ) by Th7, RELAT_1:111;
hence T .: X is Subset of W by XBOOLE_1:1; :: thesis: verum