上确界下确界定义解释（下确界和上确界的符号定义）

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

确界定理是实数理论中最基本的结论之一，是实数集紧性的体现。

定理：任何有上界(下界）的非空实数集必存在上确界（下确界）。