极小元

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

极大元