Sperner's theorem

Etymology
Named after, who published it in 1928.

Proper noun

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