当前位置:首页 > 科技文档 > 数学 > 正文

上邻及弱上邻

摘要: 首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约元讨论了上邻及弱上邻在交半格、完备格及余dcpo不同背景下的性质. (共3页)

开通会员,享受整站包年服务
说明: 本文档由创作者上传发布,版权归属创作者。若内容存在侵权,请点击申诉举报