The Property of Lattice Implication Algebra
Zhang Bao-hua · Mianyang Shifan Xueyuan xuebao · 2008
In the literature,a representation of lattice implication algebra L was obtained by introducing a map from a lattice implication algebra L to another lattice implication algebra {X_a|a∈L} generated by the clopen lower sets in the prime ideal of the former.In this paper,we consider the representation of lattice implication al- gebra in terms of the limits of sequences of subsets,and obtain some results on the infinite operations of monotonic sequences of subsets,since a lattice implication algebra is isomorphic to its representation.