进一步讨论有1模格的等价定义问题,得到并证明了一个(2,2,0)型代数成为有1模格的一个充分必要条件。这样大大简化了有1模格的等价定义。
This paper proved that when we have two binary operations A , V and a nullary operations 1 on a non-empty set L, if these operations satisfy the two axioms of modular lattices then (L, A, V ,1) to be a modular lattices with unit element. So, when we define modular lattices with unit element, we needn't start on a lattice with unit element, but we can begin with an algebra of type (2,2,0).