Let $\mathcal{P}(S)$ be the power set of a non empty set $S$. Consider the poset $\succ$ for the inclusion relation over the elements of $\mathcal{P}(S)$ (which is equivalently represented by a single source single sink DAG).
is there a known result for the cardinality of maximal antichain of $\succ$ ?