Menu
We investigate constraints in finite Boolean lattices \( \langle \mathcal{P}(X), \subseteq \rangle \) where \( X \) is a finite set. The constraints studied here are of the form \( \langle Z,k \rangle \) where \( Z \subseteq X \), \( 1 \leq k \leq |Z| \). A set \( I \subseteq X \) \emph{satisfies} \( \langle Z,k \rangle \) if \( |I \cap Z| \geq k \). We characterize the sets satisfying collections of such constraints as filters (final segments) in \( \langle \mathcal{P}(X) \rangle \). We find yet other characterizations of filters including one by means of families of sets indexed by elements of \( X \) so that the elements of the filter correspond to subfamilies with an empty intersection. Our characterizations are supported for algorithms. We also study the families of negated constraints and mixed families and find their characterizations. In the positive case, formulas built of constraints can be used to measure the complexity of filters (and thus also of antichains of their minimal elements). We find pathological filters with very simple descriptions when the disjunctions are allowed, but extremely complex descriptions when only conjunctions are allowed.