论文部分内容阅读
旨在寻找ｃａｃｃｃ半序集Ｐ的一个新子集合，使这个集合的不动点性质与Ｐ的不动点性质一致，采用了序集理论中的不动点方法，证明了若Ｐ是ｃａｃ半序集，则Ｄ（Ｐ）＝｛ｘ∈Ｐ：存在≤≤－极大元ｙ，满足ｙ≤≤ｘ｝＝Ｐ，并对李伯渝的论文“Ｔｈｅ ａｔｎｔｉ－ｏｒｄｅｒ ｆｏｒ ｃａｃｃｃ ｐｏｓｅｔｓ”（Ｄｉｓｃｒｅｔｅ Ｍａｔｈｅｍａｔｉｃｓ，１９９６，１５８：１７３－１８４）的结论和证明作了简化。