一个 最大 基数 的 子集 集合,该集合取自一个 元素 集合 ,其中任何子集都不包含另一个子集,是 二项式系数 ,其中 是 向下取整函数。
更多尝试
韦斯坦因,埃里克·W. “斯佩纳定理。” 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/SpernersTheorem.html