dom <:T1,T2:> = (dom T1) /\ (dom T2) by FUNCT_3:def 8;
then dom <:T1,T2:> is Tree by TREES_1:50;
hence <:T1,T2:> is DecoratedTree-like by TREES_2:def 8; :: thesis: verum