斯佩納定理

一個 最大 基數 的 子集 集合，該集合取自一個 元素 集合 ，其中任何子集都不包含另一個子集，是 二項式係數 ，其中 是 向下取整函式。