设 <L,∧,∨,0,1> 是有界格, a∈L, 若 ∃b∈L,(a∧b=0)∧(a∨b=1), 则称 b 是 a 的补元. a,b 互为补元. 定理 若有界 分配格 L 中元素 a 存在补元, 则存在唯一的补元.