Source: wikibot/sperner-s-theorem
= Sperner's theorem
{wiki=Sperner's_theorem}
Sperner's theorem is a result in combinatorics that deals with families of subsets of a finite set. Specifically, it states that if you have a set \\( S \\) with \\( n \\) elements, the largest family of subsets of \\( S \\) that can be chosen such that no one subset is contained within another (i.e.