完全分配格上保并映射类的交运算

文献[1]给出关于保并映射类中交运算的一个公式。本文将指出在几乎所有完全分配格中,这个公式是不成立的。也就是说,原证明是不对的。我们只在添加一个自然条件后,才可以给出该公式的证明。