Helly family

斯伯纳族（英语：Sperner_family）是一个其中任何集合都不是其他集合的子集的集合族。斯伯纳定理（英语：Sperner%27s_theorem）限定了斯伯纳族的最大阶。 赫利族（英语：Helly_family）是一个任何交集为空的最小子族的阶有界的集合族。赫利定理（英语：Helly