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