for t being DecoratedTree
for X being non empty constituted-DTrees set st t in X holds
t in Subtrees X