冷定理163如引理16.2所得之偏序集(L;s 为格。 冷定义164:[L∨2小]为一代数系统,为定 义在L上的二元运算当其满足L~L时, 称L为格。并称为积(或交),v为和(或并❖ 定理16.3:如引理16.2所得之偏序集(L;≤) 为格。 ❖ 定义16.4: [L;,]为一代数系统,,为定 义在L上的二元运算,当其满足L1 ～L4时， 称L为格。并称为积(或交),为和(或并)