Sperner's theorem
English
Etymology
Named after Emanuel Sperner, who published it in 1928.
Proper noun
- (set theory) A theorem that describes the largest possible families of finite sets none of which contain any other sets in the family.
Named after Emanuel Sperner, who published it in 1928.