完备半格的英文

• sigma complete semilattice

• "完备"英文翻译    complete; perfect
• "半"英文翻译    half
• "格"英文翻译    check; squares formed by cro ...
• "完备下半格" 英文翻译 :    sigma complete lower semilattice
• "半格" 英文翻译 :    semilattice
• "完备" 英文翻译 :    complete; perfect 指出不完备之处 point out the imperfections; 这些插图使正文臻于完备。 these illustrations fulfil the text. 再有一张邮票, 我这套集邮就完备了。 i need one more stamp before my collection is completed
• "半格点" 英文翻译 :    semilattice
• "上半格" 英文翻译 :    upper semilattice
• "下半格" 英文翻译 :    lower semilattice
• "半格构架" 英文翻译 :    half lattice frame; half-lattice frame; half-latticed girder
• "半格相机" 英文翻译 :    half-frame camera
• "半格组梁" 英文翻译 :    half lattice girder
• "剩余半格" 英文翻译 :    residuated lattice
• "完全半格点" 英文翻译 :    complete semilattice
• "np完备" 英文翻译 :    np-complete
• "t完备网" 英文翻译 :    t complete net; t-complete net
• "不完备" 英文翻译 :    deficiency; imperfection; imperfectness
• "完备簇" 英文翻译 :    complete variety
• "完备的" 英文翻译 :    complete; full; perfect; self-contained; thorough
• "完备格" 英文翻译 :    complete lattice
• "完备化" 英文翻译 :    complete metric space; completion
• "完备集" 英文翻译 :    complete set; exhaustion set; exhaustive set; perfect set
• "完备类" 英文翻译 :    complete class
• "完备码" 英文翻译 :    perfect code
• "完备射" 英文翻译 :    complete morphism

• In this paper , we first proved that those three weights about continuous domains are equal . after this , the definitions of local basis and character on continuous domains are given and some characteristic theorems of them are discussed
  Domain方面将给出一些基本的定义如定向集、定向完备集、连续domain 、连续domain的基、完备半格、局部完备格等，以及连续domain上的重要拓扑? ? scott拓扑和lawson拓扑
• By constructing two kinds of sup - semi lattices , the equivalence between the category of posets and the category of algebraic domains can be restricted to both the category of algebraic l - domains and that of scott domains . to prepare for the next part , the cartesian closed properties of three categories are given at the end of this part
  第四节讨论了连续domain的开、闭遗传性；类似于交连续格，给出了交连续完备半格的一个刻划定理；通过构造两种新的半格，给出局部代数格范畴和scottdomain范畴的等价范畴
• The cartesian closed properties of some distributive domains are obtained , such as the categories of distributive meet - continuous semi - lattices , distributive continuous complete semi - lattices , distributive algebraic complete semi - lattices ( distributive scott domains ) . generally , we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp
  得到了以稳定映射为态射的完备半格范畴、连续完备半格范畴、代数完备半格范畴都不是笛卡尔闭的，而以分配的交连续完备半格、分配的cos 、分配的scottdomain等为对象的slp的满子范畴是笛卡尔闭的