格与布尔代数资料.ppt

离散数学（6.7 格与布尔代数） Discrete Mathematics （Algbra Structures） 定义(偏序关系与偏序集) 设R是集合A上的一个二元关系, 如果R具有自反性, 反对称性和传递性, 那么称R为一个偏序关系(或部分序, 或半序关系); 记为≤，并称 A, ≤为偏序集。 3.集合的包含关系使得所考虑的集合全体S作成一个偏序集S,?. 4.集合A={a,b,c,d,e}在R下做成一个偏序集A,R, 这里R={a,a,a,b,a,c,a,d,a,e,b,b,b,c, b,e,c,c,c,e,d,d, d,e, e,e }。 定义(最大元和最小元) 设A,≤为偏序集,如果A中有一个元素a, 对于所有的A中元素x, 都有x≤a(a≤x), 则称a为该偏序集的最大元(最小元). 定义(上界和下界) 设A,≤为偏序集, ?≠M?A, 若A中存在元素a，对M中任意元素m, 都有m≤a(a≤m).则称a为M的一个上界(下界). 定义(上确界和下确界)设A,≤为偏序集, ?≠M?A, A中元素a称为M的最小上界即上确界(最大下界即下确界), 如果a是M的一个上界(下界), 并且对M的任意一个上界(下界)x, 都有a≤x (x≤a). 6.7.2 格的定义 定义1 (格的偏序定义) 给出一个偏序集L,≤,如果对于任意a,b?L，L的子集{a,