摘要

证明了双循环半群上的任意正规子半群N都可以用Bd表示,同时也证明了正规子半群Bd构成的集合B是分配格.