Helly property (source code)

= Helly property
{c}
{wiki=Helly_family}

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