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