通俗理解偏序关系中的八个特殊元（极大、极小、最大、最小元和上界、下界、上确界、下确界）

设<A,≼ >是偏序集合，B⊆A，b∈B。

注：下面所有的比较大小，都是在所研究的偏序关系上比较，不是表面上的数值比较

注：可以结合高等数学中的极值和最值理解
极大元：没有比元素b更“大”的元素，则称b为极大元。
换句话说，B中 局部 最大的元素就是极大元。
极小元：没有比元素b更“小”的元素，则称b为极小元。
换句话说，B中 局部 最小的元素就是极小元。
有限集必存在极大元和极小元
最大元：如果极大元只有一个，它就是最大元，否则没有最大元。
换句话说，B中最大的元素就是最大元。
最小元：如果极大元只有一个，它就是最大元，否则没有最大元。
换句话说，B中最大的元素就是最大元。
最大元和最小元存在必唯一

设<A, ≼ >是偏序集合，B⊆A，a∈A。

上界：比B中元素均“大”的元素称为B的上界。
下界：比B中元素均“小”的元素称为B的下界。
上确界： B的所有上界中的最小元为其最小上界。
下确界：B的所有下界中的最大元为其最大下界。