Incomparability and intersection properties of Boolean interval lattices and chain posets (Q2563521)

On the intervals of the Boolean lattice \([A,B]= \{C:A\subset C\subset B\}\) a lattrice is defined by the following operations: \([A,B]\wedge[A',B']= [A\cup A',B\cap B']\) if \(A\cup A'\subset B\cap B'\), otherwise \(\varnothing\); and \([A,B] \vee[A',B']= [A\cap A',B\cup B']\). The AZ identity, and henceforth the LYM inequality and Sperner property, is established for the Boolean interval lattice. The Bollobás inequality for the Boolean interval lattice turns out to be the ordinary LYM inequality. Two simple proofs are given for the Erdös-Ko-Rado theorem on intersecting \(k\)-chains of the Boolean lattice, see \textit{P. L. Erdös}, \textit{Á. Seress}, and the reviewer [Comb. Probab. Comput. 3, No. 1, 57-62 (1994; Zbl 0806.06013)].