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