【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）

设(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，那么元素