有序关系中的极大元与极小元

在偏序集<B;≤>中：

• b是B的极大元(Longleftrightarrow)B中没有比B大的元素(与最大元的区别：B中存在一些元素与b不可比)
• b是B的极小元(Longleftrightarrow)B中没有比B小的元素(与最小元的区别：B中存在一些元素与b不可比)