for c being set holds Leaves (root-tree c) = {c}