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.