基本释义:

完备下半格

网络释义

1)sigma complete lower semilattice,完备下半格

2)complete　semilattice,完备半格

3)perfectly refined semilattice,完备加细半格

4)continuous　complete　semilattice,连续完备半格

5)Generalized continuous complete semilattices,广义连续完备半格

6)supra-completeness and infra-completeness,上、下完备

用法和例句

The　continuous　complete　semilattice　category　and　the　Scott　domain　category　are　proved　constructively　to　be　reflective　and　coreflective　subcategories　of　the　complete　semilattice　category.

构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。

The　continuous　complete　semilattice　category　and　the　Scott　domain　category　are　proved　constructively　to　be　reflective　and　coreflective　subcategories　of　the　complete　semilattice　category.

构造性地证明了以有左（右）伴随的Ｓｃｏｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｄｏｍａｉｎ范畴，是完备半格范畴的余反射（反射）子范畴。