The two part Sperner theorem of Katona and Kleitman states that if X is an
n-element set with partition X1∪X2, and \cF is a family of subsets
of X such that no two sets A, B \in \cF satisfy A⊂B (or B⊂A) and A∩Xi=B∩Xi for some i, then |\cF| \le {n
\choose \lfloor n/2 \rfloor}. We consider variations of this problem by
replacing the Sperner property with the intersection property and considering
families that satisfiy various combinations of these properties on one or both
parts X1, X2. Along the way, we prove the following new result which may
be of independent interest: let \cF, \cG be families of subsets of an
n-element set such that \cF and \cG are both intersecting and
cross-Sperner, meaning that if A \in \cF and B \in \cG, then A⊂B and B⊂A. Then |\cF| +|\cG| < 2^{n-1} and there are
exponentially many examples showing that this bound is tight