English Dictionary

Sperner's theorem

固有名詞

(set theory) A theorem that describes the largest possible families of finite sets none of which contain any other sets in the family.

日本語の意味

Spernerの定理とは、有限集合族の中で、いずれの集合も他の集合を含まないような、最大サイズの集合族がどのようなものであるかを記述する定理である。

In our combinatorics seminar, we used Sperner's theorem to determine the maximum size of a family of subsets of an n-element set in which no set contains another.

組合せ論のセミナーで、いずれの集合も他の集合を含まない有限集合族の最大の大きさを記述する定理を用いて、n元集合の部分集合族の最大サイズを求めました。

意味（1）

(set theory) A theorem that describes the largest possible families of finite sets none of which contain any other sets in the family.