偏序集

则称 b 是最大元

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