有补格

设 $<L,\wedge ,\vee ,0,1>$ 是 有界格, 若 $L$ 中所有元素都有 补元, 则称 $L$ 为有补格.