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.