Modularité et distributivité affaibliés dans les lattis
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.
Let be a lattice. In this paper, corresponding to a given congruence relation of , a congruence relation on is defined and it is proved that 1. is isomorphic to ; 2. and are in the same equational class; 3. if is representable in , then so is in .