最小元

$$\forall x[(x\in A)\to (b\le x)]$$

则称 b 是最小元

最大元