设L是带有最大元素1和最小元素0的有界格。L的两个元素x和y是互补（相互为补元）的，当且仅当：
- 且
在这种情况下，它们被指示为¬x = y和等价的¬y = x。所有元素都有补元（素）的有界格叫做有补格。对应的在L上的一元运算叫做补运算，把逻辑否定的类似物介入了格理论。补元不必然是唯一的，在L上所有可能的一元运算中也没有什么特殊之处。分配有补格是布尔代数。对于分配格，x的补元存在的话就可证明是唯一的。
Heyting代数是至少某些成员缺乏补元的分配格的例子。在另一方面，Heyting代数的所有成员x都有一个伪补元，也指示为¬x。伪补元是最大的元素y使得xy = 0。如果Heyting代数的所有元素的伪补元实际上都是补元，则这个Heyting代数是布尔代数。
参见 补运算, 设l是带有最大元素1和最小元素0的有界格, l的两个元素x和y是互补, 相互为补元, 当且仅当, displaystyle, 且x, displaystyle, wedge, 在这种情况下, 它们被指示为, y和等价的, 所有元素都有补元, 的有界格叫做有补格, 对应的在l上的一元运算叫做, 把逻辑否定的类似物介入了格理论, 补元不必然是唯一的, 在l上所有可能的一元运算中也没有什么特殊之处, 分配有补格是布尔代数, 对于分配格, x的补元存在的话就可证明是唯一的, heyting代数是至少某些成员缺乏补. 设L是带有最大元素1和最小元素0的有界格 L的两个元素x和y是互补 相互为补元 的 当且仅当 x y 1 displaystyle x vee y 1 且x y 0 displaystyle x wedge y 0 在这种情况下 它们被指示为 x y和等价的 y x 所有元素都有补元 素 的有界格叫做有补格 对应的在L上的一元运算叫做补运算 把逻辑否定的类似物介入了格理论 补元不必然是唯一的 在L上所有可能的一元运算中也没有什么特殊之处 分配有补格是布尔代数 对于分配格 x的补元存在的话就可证明是唯一的 Heyting代数是至少某些成员缺乏补元的分配格的例子 在另一方面 Heyting代数的所有成员x都有一个伪补元 也指示为 x 伪补元是最大的元素y使得x displaystyle wedge y 0 如果Heyting代数的所有元素的伪补元实际上都是补元 则这个Heyting代数是布尔代数 参见 编辑有补格 补集 逻辑否定 取自 https zh wikipedia org w index php title 补运算 amp oldid 28837283, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。