偏序集中最元的存在性条件

• The Conditions of the Existence of Maximum and Minimum for the Partial Ordering Set