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