离散数学---最大元、极大元

下面这两段话好好理解，就明白极大元和最大元的区别了

1、极大元是没有别的元素比它大，即别的元素要么和极大元不可比，只要能比，就一定小于等于极大元；
最大元是它比别的元素都大，即别的元素与最大元都可比，而且比较的结果一定是小于等于最大元。

2、极大元是没有元素比极大元还大，但是这并不是说极大元只有一个，比如"V"型的偏序，极大元就有两个，不存在底部元素x比顶点那两个还大，但是那两个谁大是不能比较的，所以都是极大元，没有最大元。如果偏序像“A”,那么就只有一个极大元，极大元也是最大元，无论偏序是怎样的，最大元只能有一个。

下面为书上的定义：

设(A, ≤)是一偏序集合，B是A的子集。

最大元素、最小元素：

(1)元素b∈B是B的最大元素，如果对每一元素x∈B，x≤b
(2)元素b∈B是B的最小元素，如果对每一元素x∈B，b≤x
即：对于每一个元素，都能满足这样的偏序关系。
定理：如果B存在最大（最小）元素，那么它是唯一的。
例：如果B = {2, 3}，偏序关系为“整除”，因为2和3互相不能整除，那么B没有最小元素和最大元素。

极大元素、极小元素：

(1)如果b∈B，且B中不存在元素x，使b≠x且b≤x，那么元素b∈B叫做B的极大元素。
(2)如果b∈B，且B中不存在元素x&