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