设 L displaystyle L vee wedge 是一个格 若存在a L displaystyle a in L 使得对于所有的x L displaystyle x in L 有a x displaystyle a leq x 则称a displaystyle a 为L displaystyle L 的全下界 若存在b L displaystyle b in L 使得对于所有的x L di