有补格
设
是一个有界格,
,若存在
使得
且
,则称
是
的补元。显然若
是
的补元则
也是
的补元,换句话说
互为补元,简称互补。
不难证明,在任何有界格中,全下界0与全上界1总是互补的。而对于其它元素,可能存在补元,也可能不存在补元。如果存在补元,可能是唯一的,也可能是多个补元。但对于有界分配格,如果它的元素存在补元,则一定是唯一的。
设
是一个有界格,若对于任意的
,在
中都有
的补元存在,则
称为有补格。
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。