Sperner's Theorem

The Maximum Cardinality of a collection of Subsets of a $t$-element Set $T$, none of which contains another, is the Binomial Coefficient ${t\choose \left\lfloor{t/2}\right\rfloor }$, where $\left\lfloor{x}\right\rfloor$ is the Floor Function.

See also Cardinality