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