English[edit]
Etymology[edit]
Named after Emanuel Sperner, who published it in 1928.
Proper noun[edit]
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.