Modularity and distributivity of the lattice of -closed subsets of an algebraic structure
Let be an algebraic structure of type and a set of open formulas of the first order language . The set of all subsets of closed under forms the so called lattice of -closed subsets of . We prove various sufficient conditions under which the lattice is modular or distributive.