摘要

本文首先介绍了格、分配格和有1分配格的定义、定理,然后提出了两个新的有1分配格的三条件等价定义,这两个等价定义比原来四条件等价定义的等式个数更少、长度更短,最后根据有1分配格所满足的五条运算律做了与原始定义的等价性证明。