9，则称formula_10为formula_6的全上界。可以证明，若格formula_6存在全上界或全下界，一定是唯一的。一般将格的全上界记作1，全下界记作0。（注意这里的0,1只是两个特殊的符号，和自然数0,1不同）设formula_1是一个格，若formula_6存在全上界和全下界，则称formula_6为有界格，记作formula_16。设formula_16是一个有界格，则对于所有的formula_2，有