for x being set holds Subtrees (root-tree x) = {(root-tree x)}