theorem :: TREES_4:13

for x being object
for T being DecoratedTree holds dom (x -tree T) = ^ (dom T)