离散数学-集合-偏序关系-12

离散数学

集合与关系：

偏序关系：

定义：

哈斯图：

极大元、极小元：

最小元、最大元：

上界、下界：

上确界、下确界：

• 上确界：最小的上界。
• 下确界：最大的下界。