1) upwardly compatible subset
向上相容子集
2) upwardly compatible subset
向上兼容子集
3) compatible subset
相容(子)集
4) 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闭的满子范畴。
5) upward compatible
上向兼容
补充资料：相容
1.同时并存;互相包容。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条