上确界

1. 概述

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

2. 定义

定义 1 (上确界)

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

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

记号 2 (上确界)

上确界 通常记为 或 .

3. 例子

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

4. 相关性质

5. 相关概念

• 上界
• 下界, 下确界

6. 术语翻译

中文	英文
上确界	supremum

序论