西安电子科技大学$3.6.3偏序集合中的特殊元素软件学院家家设<A，<>是偏序集合，B二A。a为B的上界，若对B的任意上界a，均有a<a,最小上界称a为B的最小上界（上确界），记为lub。B的所有上界中的最小元为其最小上界，a为B的下界，若对B的任意下界a，均有a'<a，最大下界称a为B的最大下界（下确界），记为glb。B的所有下界中的最大元为其最大下界。西安电子科技大学 软件学院 最小上界 最大下界 B的所有下界中的最大元为其最大下界。 §3.6.3 偏序集合中的特殊元素 设<A, ≼ >是偏序集合，B⊆A。 B的所有上界中的最小元为其最小上界