Loading AI tools
来自维基百科,自由的百科全书
设是一个有界格,,若存在使得且,则称是的补元。显然若是的补元则也是的补元,换句话说互为补元,简称互补。
此條目没有列出任何参考或来源。 (2019年10月6日) |
不难证明,在任何有界格中,全下界0与全上界1总是互补的。而对于其它元素,可能存在补元,也可能不存在补元。如果存在补元,可能是唯一的,也可能是多个补元。但对于有界分配格,如果它的元素存在补元,则一定是唯一的。
设是一个有界格,若对于任意的,在中都有的补元存在,则称为有补格。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.