A Horn sentence in coalition lattices (Q1921963)

Given a finite partially ordered set \(P\), for subsets or, in other words, coalitions \(X,Y\) of \(P\) let \(X \leq Y\) mean that there exists an injection \(\varphi:X \to Y\) such that \(x\leq\varphi (x)\) for all \(x\in X\). The set \({\mathcal L} (P)\) of all subsets of \(P\) equipped with this relation is a partially ordered set. When \({\mathcal L} (P)\) is a lattice, it is called a coalition lattice [cf. the author and \textit{Gy. Pollák}, ``When do coalitions form a lattice?'', Acta Sci. Math. 60, 197-206 (1995; Zbl 0829.06003)]. A recursive construction of coalition lattices is given. Using this construction, which can be of separate interest, it is shown that not every lattice is embeddable in coalition lattices.