离散数学题判断正误,说明理由,若a为偏序集的最大元,则a一定不为偏序集的最小元.