The story
Named after Emanuel Sperner, who published it in 1928.
Etymology from Wiktionary, CC BY-SA 4.0.
Sperner's theorem
Today it means: A theorem that describes the largest possible families of finite sets none of which contain any other sets in the family. Full definition →