但是格不一定可分配,可以分配的叫做分配格。
有限格都是有界格。
另,定义补运算:
0和1一定互为补。补可能有多。如果格是有补的(即全部元素都有补,应该只有一个吧?),又可分配……
又把求补运算称为 $\neg$ ,于是得到布尔代数如下。