Sperner's theorem

English

Etymology

Named after Emanuel Sperner, who published it in 1928.

Proper noun

Sperner's theorem

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