作者: Shuhua Su , Qingguo Li
DOI: 10.1007/S00521-011-0807-Z
关键词:
摘要: In this paper, as a special case of fuzzy domains, algebraic directed-complete posets (shortly, dcpos) are discussed. Throughout the dcpos, some equivalent characterizations domains given. Then, construction new dcpos (resp., domains) from known ones by means forming products, taking subsets, and images under maps with appropriate operations is investigated. Finally, kind continuous section retraction pairs proposed. Moreover, it proved that every domain an dcpo, also domain.