1. 概述 一个 集合 的 下界 是指小于或等于 中全体 元素 的一个元素 , 这个元素不一定含于 中. 2. 定义 定义 1 (下界) 设 为 偏序集, 子集 , 称 元素 为 的下界, 当其满足 . 3. 例子 详情请参阅 上下界, 上下确界的例子. 4. 相关性质 5. 相关概念 下确界 上界, 上确界 最小元 6. 术语翻译 中文英文下界lower bound 序论