摘要
给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构,分别讨论了它们的性质,证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格.
The structures of free Dcpo and free joincomplete lattice generated by poset and strongly free Dcpo and strongly free joincomplete lattice generated by join-semilattice are given; and their properties are discussed, h is proved that the poset can be order embedded to free Dcpo and free join-complete lattice, that the join-semilattiee can be order embedded to strongly free Depo and strongly free join -complete lattice.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第4期11-14,共4页
Journal of Shaanxi Normal University：Natural Science Edition
基金
国家自然科学基金资助项目(10471083)
教育部高校青年教师奖基金资助项目(教人司[2000]26)
