最小上界

在数学中，给定偏序集合 T 的子集 S ，S 的上确界是大于或等于 S 的每个元素的 T 的最小元素。因此上确界也被称为最小上界、lub 或 LUB。最小上界属于 S 与否皆可。如果 S 包含最大元素，则这个元素就是上确界；如果不是，则上确界不属于 S，参见 , page 4。