最小上界

上确界是一个集合的最小上界。下确界是与上确界相对偶的概念，指的是一个集合的最大下界。