的羽 前定义 自反、反对称、传递 定义1:设<S>是偏序集,如果X,y∈S,{,y都有最小 上界和最大下界,则称S关于偏序≤作成一个格。 两个二元运算:最小上界最大下界入 伙,y}存在上界z意味着同时满足x≤z和y≤z两个条件,即z与x和y均具 有可比性 伙,y存在最小上界意味着k,y所有的上界之间具有可比性 {,y存在最小上界z未必意味着x与y之间具有可比性」 最大下界情况类似 东南大学计算机科学与工程学院 离散数学 与布尔代数定义1：设<S,≼ >是偏序集，如果x，y S，{x，y}都有最小 上界和最大下界，则称S关于偏序 ≼ 作成一个格。 两个二元运算：最小上界∨ 最大下界∧ {x，y}存在上界z意味着同时满足x ≼z和y ≼z两个条件，即z与x和y均具 有可比性 {x，y}存在最小上界z未必意味着x与y之间具有可比性 {x，y}存在最小上界意味着{x，y}所有的上界之间具有可比性 最大下界情况类似