Theorems of the form "if every m objects from a set has a certain property P, then the entire set has the property P" are known as Helly-type theorems, after Eduard Helly's theorem of 1923. Many transversal theorems on ...