上确界简介：是一个集合的最小上界。是数学分析中最基本的概念，指的是考虑一个实数集合M，如果有一个实数S，使得M中任何数都小于S，就称S是M的一个上界。上确界是与下确界相对偶的概念。是序理论中最基础的概念之一。