补运算
补运算
设"L"是带有最大元素1和最小元素0的有界格。"L"的两个元素"x"和"y"是互补（相互为补元）的，当且仅当：
formula_1且formula_2
在这种情况下，它们被指示为¬"x" = "y"和等价的¬"y" = "x"。所有元素都有补元（素）的有界格叫做有补格。对应的在"L"上的一元运算叫做补运算，把逻辑否定的类似物介入了格理论。补元不必然是唯一的，在"L"上所有可能的一元运算中也没有什么特殊之处。分配有补格是布尔代数。对于分配格，"x"的补元存在的话就可证明是唯一的。
Heyting代数是至少某些成员缺乏补元的分配格的例子。在另一方面，Heyting代数的所有成员"x"都有一个伪补元，也指示为¬"x"。伪补元是最大的元素"y"使得"x"formula_3"y" = 0。如果Heyting代数的所有元素的伪补元实际上都是补元，则这个Heyting代数是布尔代数。
图片快照过大，请您耐心等候，如果加载失败请稍后再试！
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.