【离散数学】最大元素、最小元素、极大元素、极小元素、上界、下界、最小上界（上确界）、最大下界（下确界）
设(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)如