冷零元(单位元存在则必唯 冷定理:若格[;,]存在零元0和单位元1, 则0和1分别是L的最小元和最大元。 由于具有零元和单位元的格一定有最小 元和最大元,称为有界格。❖ 零元(单位元)存在则必唯一 ❖ 定理：若格[L;,]存在零元0和单位元1， 则0和1分别是L的最小元和最大元。 ❖ 由于具有零元和单位元的格一定有最小 元和最大元，称为有界格