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