let f be Relation of T,D; :: thesis: f is ParametrizedSubset of D
rng f c= D ;
hence f is ParametrizedSubset of D by TREES_2:def 9; :: thesis: verum