定理6-34在一个有界分配格中,如果有一个元 素有补元素,则必是唯一的。 口证明:设a有两个补元素b和c,即有 aVb=1和a∧b=0 aVc=1和a∧c=0 由定理6-23即得b=c 定义6-3.6一个格如果如果它即是有补格,又是 分配格,则称此格为有补分配格。一般把任一元素a 的唯一补元记为a(或a)定理6-3.4 在一个有界分配格中，如果有一个元 素有补元素，则必是唯一的。  证明：设 a有两个补元素b和c，即有 a∨b=1 和 a∧b=0 a∨c=1 和 a∧c=0 由定理6-2.3即得 b=c  定义6-3.6 一个格如果如果它即是有补格，又是 分配格，则称此格为有补分配格。一般把任一元素a 的唯一补元记为 a (或a - )