( T .: (Leaves (dom T)) c= rng T & rng T c= D ) by RELAT_1:111, RELAT_1:def 19;
hence Leaves T is Subset of D by XBOOLE_1:1; :: thesis: verum