Helly property
= Helly property
{c}
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.