for X being non empty constituted-DTrees set holds X c= Subtrees X