摘要
Menon在对连续Domain进行推广时引入C-偏序集的概念,即可用主滤子与上完备下集分离点的偏序集。基于Menon的思想,我们把拟连续偏序集推广至拟C-偏序集,即可用有限生成上集与上完备下集分离点的偏序集。结果表明,C-偏序集、拟连续偏序集都为拟C-偏序集,反之则不一定成立,并且,拟C-偏序集及其基具有类似于C-偏序集的关于映射、乘积等的封闭性。
In order to generalize continuous domain,Menon had brought in the concept of C-posets,which use principal filter and up-complete lower set to separate points.Basing on Menon' idea,we generalize lower quasicontinous posets to quasi C-posets,which use finitely generallie upper set and up-complete lower set to separate points.The results show C-posets and quasi contnuous posets are both quasi C-posets,and vice not established.Also,quasi C-posets and it's base have many properties that are analogus to C-posets,one of which is the closure property about mapping,product and so on.
出处
《南昌大学学报(理科版)》
CAS
北大核心
2011年第2期131-135,共5页
Journal of Nanchang University(Natural Science)
基金
国家自然科学基金资助项目(10331010
10861007)
高等学校全国优秀博士学位论文作者专项基金资助项目(2007B14)
江西省自然科学基金资助项目(2007GZS0179)