西安电子科技大学S3.6.3偏序集合中的特殊元素软件学院『定理』设<A，<>是偏序集合，BA。（a）若b是B的最大元，则b是B的极大元；（b）若b是B的最大元，则b是B的最小上界：(c）bEB，若b是B的上界，当且仅当b是B是的最小上界：（d）若b是B的最小元，则b是B的极小元；（e）若b是B的最小元，则b是B的最大下界；(f）bEB，若b是B的下界，当且仅当b是B的最大下界。西安电子科技大学 §3.6.3 偏序集合中的特殊元素 软件学院 『定理』设<A, ≼ >是偏序集合，B ⊆A。 （a）若b是B的最大元，则b是B的极大元； （b）若b是B的最大元，则b是B的最小上界； （c）b∈B，若b是B的上界，当且仅当b是B是的最小上界； （d）若b是B的最小元，则b是B的极小元； （e）若b是B的最小元，则b是B的最大下界； （f）b∈B，若b是B的下界，当且仅当b是B的最大下界