极大元

$$\neg \exists x\in A[b\ne x\wedge b\le x]$$

极大元可以表示在偏序关系链存在的情况下那个链的顶端，但是可能存在很多个链，也就是可能存在很多个极大元

允许有不可比较的元素存在