是一個,若存在,使得對於所有的,則稱全下界;若存在,使得對於所有的,則稱全上界

可以證明,若格存在全上界或全下界,一定是唯一的。一般將格的全上界記作1,全下界記作0。(注意這裏的0,1只是兩個特殊的符號,和自然數0,1不同)

是一個,若存在全上界和全下界,則稱有界格,記作

是一個有界格,則對於所有的,有




參見