有补格
有补格
设formula_1是一个有界格，formula_2，若存在formula_3使得formula_4且formula_5，则称formula_6是formula_7的补元。显然若formula_6是formula_7的补元则formula_7也是formula_6的补元，换句话说formula_12互为补元，简称互补。
不难证明，在任何有界格中，全下界0与全上界1总是互补的。而对于其它元素，可能存在补元，也可能不存在补元。如果存在补元，可能是唯一的，也可能是多个补元。但对于有界分配格，如果它的元素存在补元，则一定是唯一的。
设formula_1是一个有界格，若对于任意的formula_2，在formula_15中都有formula_7的补元存在，则formula_15称为有补格。
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.