 Helly property

Finite families of convex subtrees of a tree have the Helly property: if every pair intersects, then their total intersection is nonempty.