PRUNE

• Input: T.
• Output: T'. The tree containing T is also changed.
• Preconditions: T is a subtree (and therefore not empty).
• Postconditions: T is unchanged, except it is no longer a subtree, and there is no longer any subtree in its place.

PRUNE(T2) results in: