Helly family

Family of sets where every disjoint subfamily has k or fewer sets

In combinatorics, a Helly family of order k is a family of sets in which every minimal subfamily with an empty intersection has k or fewer sets in it. Equivalently, every finite subfamily such that every k-fold intersection is non-empty has non-empty total intersection. The k-Helly property is the property of being a Helly family of order k.

This keyword could refer to multiple things. Here are some suggestions: