Another generalization of Lindström's theorem on subcubes of a cube (Q696911)

A Kruskal-Katona-type theorem for posets of the form \(P(N; A_1, \ldots, A_m) = \{ A \subseteq N: \bigwedge_i A_i \not\subseteq A\}\). If \(x \in P = P(N; A_1, \ldots, A_m)\), let \(\Delta (x)\) be the shadow of \(x\), i.e., those subsets of \(x\) of \(|x|- 1\) elements. Given a suitable linear ordering \(\prec\) of \(P\), and given \(X \subseteq P\), let \(C(X)\) be a compression of \(X\), formed by pushing the elements of \(X\) to \(\prec\)-minimal sets of the same cardinality. Then for any appropriate \(i\) and \(F \subseteq \{x \in P: |x|= i\}\), \(\Delta(C(F)) \subseteq C(\Delta(F))\).