斯佩纳定理

一个 最大 基数 的 子集 集合，该集合取自一个 元素 集合 ，其中任何子集都不包含另一个子集，是 二项式系数 ，其中 是 向下取整函数。