Helly family
= Helly family
{c}
{wiki}
A <Helly family> of order $k$ is a <set family> for which every finite subfamily has nonempty total intersection whenever each of its subfamilies with at most $k$ members has nonempty intersection. Convex subtrees of a tree have Helly order two.