1. 定义 定义 1 (有限上确界) 设 为 偏序集, 子集 存在 上确界 , 若 是 有限集, 则称 为 有限上确界. 2. 相关概念 有限下确界 上确界, 下确界 3. 术语翻译 中文英文有限上确界finite supremum 序论