若最大元存在，则最大元一定是极大元，若极大元存在且唯一，则极大元一定是最大元