设(A, ≤)是一偏序集合,B是A的子集。
最大元素、最小元素:
(1)元素b∈B是B的最大元素,如果对每一元素x∈B,x≤b
(2)元素b∈B是B的最小元素,如果对每一元素x∈B,b≤x
即:对于每一个元素,都能满足这样的偏序关系。
定理:如果B存在最大(最小)元素,那么它是唯一的。
例:如果B = {2, 3},偏序关系为“整除”,因为2和3互相不能整除,那么B没有最小元素和最大元素。
极大元素、极小元素:
(1)如果b∈B,且B中不存在元素x,使b≠x且b≤x,那么元素b∈B叫做B的极大元素。
(2)如果b∈B,且B中不存在元素x,使b≠x且x≤b,那么元素