2、证明偏序集中最大元存在必唯一.