Sperner's theorem

(redirected from Sperner family)
Also found in: Wikipedia.

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.