Investigate the set of all implications on a complete Brouwerian lattice.Define operators to endow these sets as monoid structure, which are also complete Brouwerian lattice.

• 研究了完备布劳威尔格上全体蕴涵算子之集，在此集上定义运算及序关系使其成为么半群，且是完备布劳威尔格；