定义6-33设<A,s>是一个格,如果存在全下界 和全上界,则称该格为有界格。 定理6-33设<A,s>是一个有界格,则对于任意 的a∈A,都有 a∨1=1a∧1a(1是∨运算的零元,∧运算的 幺元) a∨0=aa∧0=0(0是∨运算的幺元,∧运算的 零元)定义6-3.3 设<A, ≤>是一个格，如果存在全下界 和全上界，则称该格为有界格。 定理6-3.3 设<A, ≤>是一个有界格，则对于任意 的aA,都有 a∨1=1 a∧1=a (1是∨运算的零元,∧运算的 幺元) a∨0=a a∧0=0 (0是∨运算的幺元,∧运算的 零元)