下确界

1. 概述

于 序论 中, 一个 偏序集 的 下确界 就是最大的 下界.

2. 定义

定义 1 (下确界)

设 为 偏序集, 子集 , 称 元素 为 于 中的下确界, 当且仅当同时满足：

1. 为 于 中的 下界;
2. .

记号 2 (下确界)

下确界 通常记为 或 .

3. 例子

详情请参阅 上下界, 上下确界的例子.

4. 相关性质

5. 相关概念

• 下界
• 上界, 上确界

6. 术语翻译

中文	英文
下确界	infimum

序论