Sperner's theorem

Sperner's theorem

[′spər·nərz ‚thir·əm]
(mathematics)
A theorem which gives the maximum possible cardinality of an antichain in a finite set.
References in periodicals archive ?
Tomescu, Irreducible coverings by cliques and Sperner's theorem, The Electronic Journal of Combinatorics 9 (2002), #N11, 4pp.