mula_4且formula_5，则称formula_6是formula_7的补元。显然若formula_6是formula_7的补元则formula_7也是formula_6的补元，换句话说formula_12互为补元，简称互补。不难证明，在任何有界格中，全下界0与全上界1总是互补的。而对于其它元素，可能存在补元，也可能不存在补元。如果存在补元，可能是唯一的，也可能是多个补元。但对于有界分配格，如果它的元素存在补元，则一定是唯一的。设formula_1是一个有界格，若对于任意的formula_2，