Zorn引理：设X是一个半序集，如果它的每一个全序子集都有一个上界，那么X有一个极大元