有补格
设是一个有界格,,若存在使得且,则称是的补元。显然若是的补元则也是的补元,换句话说互为补元,简称互补。
不难证明,在任何有界格中,全下界0与全上界1总是互补的。而对于其它元素,可能存在补元,也可能不存在补元。如果存在补元,可能是唯一的,也可能是多个补元。但对于有界分配格,如果它的元素存在补元,则一定是唯一的。
设是一个有界格,若对于任意的,在中都有的补元存在,则称为有补格。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.