 Cross-Sperner inequality

If set families $\mathcal{A},\mathcal{B}\subseteq \mathcal{P}([n])$ are cross-incomparable, meaning no member of either contains a member of the other, thenThe proof applies the Harris-Kleitman inequality to the upward closures generated by the two families.