Loading AI tools
来自维基百科,自由的百科全书
設是一個格,若存在,使得對於所有的有,則稱為的全下界;若存在,使得對於所有的有,則稱為的全上界。
可以證明,若格存在全上界或全下界,一定是唯一的。一般將格的全上界記作1,全下界記作0。(注意這裏的0,1只是兩個特殊的符號,和自然數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.