Sea $A$ una familia de subconjuntos de $\{1,2,\ldots,n\}$ tal que ningún miembro de $A$ está contenido en otro. El teorema de Sperner establece que $|A|\leq{n\choose{\lfloor\frac{n}{2}\rfloor}}$ . Encuentre todas las familias para las cuales se cumple la igualdad.