最大元

设 $⟨A,\le ⟩$ 是 偏序集

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

则称 b 是最大元

所有关系都能比较时才能出现最大元的情况