hasHellyNumber
P140824
predicate
Indicates that there exists a smallest integer h such that, for this family of sets, any subfamily in which every h sets have a nonempty intersection must itself have a nonempty overall intersection.
All labels observed (1)
| Label | Occurrences |
|---|---|
| hasHellyNumber canonical | 1 |
Sample triples (1)
| Subject | Object |
|---|---|
| Helly’s theorem | d+1 for convex sets in R^d ⓘ |