1. 定义 定义 1 (空上确界) 设 为 偏序集, 称 为 空上确界, 否则称 非空集 的 上确界 为 非空上确界. 2. 相关概念 空下确界 上确界, 下确界 3. 术语翻译 中文英文空上确界empty supremum非空上确界non-empty supremum 序论