可除剩余格中的消去律

首先,通过对可除剩余格性质的进一步探究,给出了可除剩余格中的蕴涵左消去律;其次,结合剩余格中"′"运算的性质,证明了正则条件下的蕴涵右消去律的存在性;最后,根据""和"→"的伴随性质,进一步探讨了正则可除剩余格中的乘法消去律的表现形式。