1) consistent directed complete posets
相容定向完备偏序集
1.
As a corollary,we show that the category CDCPO of consistent directed complete posets(in short,cdcpos) and Scott continuous maps is a Cartesian closed full subcategory of POSET.
作为推论,指出了相容定向完备偏序集范畴CDCPO是偏序集范畴POSET的Cartesian闭的满子范畴。
3) ZS-consistent Complete Poset
ZS-相容完备偏序集
4) S-dcpos
S-定向完备偏序集
1.
In this paper, some theoretical properties of Category Pos-S will be extended to thecategory of S-dcpos.
基于序半群的S-系理论,本篇硕士论文将S-偏序集的一些结论推广到了S-定向完备偏序集和S-格上,主要研究了S-定向完备偏序集范畴和S-格同余关系。
6) Directed complete partially ordered monoid
定向完备偏序半群
补充资料:相容
1.同时并存;互相包容。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条