1. 定义

定义 1 (有限上确界)

偏序集, 子集 存在 上确界 , 若 有限集, 则称 有限上确界.

2. 相关概念

3. 术语翻译

中文英文
有限上确界finite supremum

序论