 Helly property

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

In the terminology of a Helly family, convex subtrees form a family of Helly order two.